Статический анализ исходного кода программ для их понимания.

Статический анализ исходного кода программ для их понимания.

Проект направлен на создание методов и инструментов решения задач понимания программ на языках Си/Си++, возникающих при сопровождении программных продуктов – определение структуры программы, сущностей программы и отношений между ними. Выполненный задел будет задействован для разработки способов использования предложенных методов анализа для задачи автоматизации переноса выполненных изменений программных продуктов с открытым исходным кодом между версиями этих продуктов.

При разработке будут использованы современные индустриальные компиляторные инфраструктуры с открытым исходным кодом (LLVM или GCC), что обеспечит применимость разработанного инструмента к реальным программным продуктам.

Грант РФФИ 14-01-31363.

Исполнитель

Компиляторные технологии