анализ и преобразование программ