Институт системного программирования им. В.П. Иванникова РАН


Разработка алгоритмов и инструмента статического анализа программ на языках с динамической типизацией

Начало проекта – 2010 год.

В рамках исследовательских работ в 2010 году начато исследование методов статического анализа программ на языках с динамической типизацией. Создан прототип инструмента, позволяющий проводить вывод типов для программ на языке Python. В настоящий момент разрабатываются алгоритмы анализа программ с динамической типизацией с учетом чувствительности к потоку управления программы.

Исполнитель

Системное программирование

Перейти к списку всех проектов