Актуальность данного обзора состоит в том, что развитие многих современных направлений компьютерной индустрии невозможно представить без существенного развития методов анализа и трансформации программ. В обзоре рассматриваются наиболее значимые направления с анализом существующих технологий, исследований по разработке новых технологий и тенденций развития. Кроме того, в обзоре описываются фундаментальные понятия анализа и трансформации программ с учетом последних достижений в этой области и инфраструктура необходимая для организации исследований и реализации соответствующих технологий. Материал подготовлен в рамках Всероссийского конкурсного отбора обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы".