Исследование и разработка методов направленного динамического анализа программ. Проект РФФИ 17-07-00702.

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