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

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

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

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

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

Технологии

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

Исполнитель

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