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


Инструмент итеративного динамического анализа программ Avalanche

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

В рамках перспективных направлений исследований в 2009 году в группе анализа программ началась разработка инструмента Avalanche для итеративного динамического анализа программ на базе среды динамической инструментации программ Valgrind.

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

На базе инструмента реализованы обнаружители критических ошибок деления на ноль и использования нулевого или неинициализированного указателя.

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

Технологии

Инструмент итеративного динамического анализа программ Avalanche

Исполнитель

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

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