Анализ и реверс-инжиниринг программных систем

Научно-исследовательские работы

• Разработка основных концепций системы анализа программного кода для выявления зависимостей, динамических свойств программ и извлечения диаграмм. 2007
• Обнаружение клонов в программных системах. 2009-2012
• Расчет характеристик надежности ПО. 2011-2012

Конференции

• Program Semantics, Specification & Verification 2012 (PSSV-2012)
• Разработка ПО-2011 (CEE-SECR-2011)
• Разработка ПО-2010 (CEE-SECR-2010)

Публикации

• M. Akhin, V. Itsykson. Tree slicing in clone detection: syntactic analysis made semi-semantic. Proceedings of 3nd Workshop "Program Semantics, Specification and Verification". N.Novgorod-2012. pp. 1-8.
• Ахин М.Х., Ицыксон В.М. Обнаружение клонов исходного кода: теория и практика. Системное программирование. Вып.5 . Сборник статей. Под ред. А.Н. Терехова, Д.Ю. Булычева. - СПб: Изд-во С. Петерб. ун-та. - 2010. - сс. 145-164.
• Akhin M., Itsykson V. Clone detection: Why, what and how? / Software Engineering Conference in Russia (CEE-SECR), 2010 6th Central and Eastern European
• Моисеев М.Ю., Карпенко А.В. Расчет метрик надежности программ на основе статического анализа // Научно-технические ведомости СПбГПУ, 2009. №3.