ОТЧЕТ «Исследование и разработка методов направленного динамического анализа программ» по проекту РФФИ 17-07-00702 (этап 2017 года).

Достижение высокого качества программного обеспечения в современной ситуации невозможно без применения методов автоматического анализа программ. Среди методов решения задачи анализа программ выделают методы статического и динамического анализа. Каждый из методов анализа программ имеет как преимущества, например, высокая точность динамического анализа программ и хорошая масштабируемость методов статического анализа программ, так и недостатки, например, низкая производительность динамического анализа программ и низкая точность статического анализа программ. Для преодоления данных ограничений предлагается использовать подход совмещения различных методов анализа программ. Это можно сделать путём применения результатов одного метода анализа программ с целью направления другого метода анализа программ для достижения высокой точности и достаточной производительности анализа программ в целом. Проведена разработка алгоритма динамического символьного анализа программ с целью генерации входных данных, приводящих к исполнению программы через набор заранее определенных адресов инструкций программы. Проведен обзор методов улучшения результатов статического анализа программ, среди которых выделяется группа методов, основанных на применении динамического анализа программ. Результаты обзора опубликованы в сборнике трудов ИСП РАН, входящем в перечень ВАК. Реализован прототип инструмента генерации входных данных программы для прохождения определенного набора адресов в программе методом динамического символьного исполнения программ. С целью оценки прототип инструмента применен для задачи генерации входных данных программ с открытым исходным кодом из набора утилит командной строки операционной системы Debian Linux. Определены ограничения подхода, частичное или полное снятие которых требует проведения дополнительных исследований в области динамического символьного исполнения программ.