Поиск ошибок в бинарном коде методами динамической символьной интерпретации

Объект: динамическая символьная интерпретация для поиска ошибок. Цель: разработка метода поиска ошибок в бинарном коде методами динамической символьной интерпретации. Метод должен иметь возможность применения в контексте гибридного фаззинга, сочетающего в себе динамическую символьную интерпретацию и фаззинг с обратной связью по покрытию. Методы исследования: динамический анализ программ, динамическая символьная интерпретация, анализ бинарного кода, теория компиляторов, анализ потока данных, гибридный фаззинг, динамическая двоичная трансляция. Результаты: алгоритм слайсинга предиката пути, который позволяет устранять избыточные ограничения во время динамической символьной интерпретации; теоремы о конечности и корректности алгоритма; формальная оценка асимптотической сложности алгоритма; метод моделирования семантики функций; метод построения предикатов безопасности для обнаружения ошибок деления на нуль, выхода за границу массива и целочисленного переполнения при помощи динамической символьной интерпретации; метод автоматизированного поиска ошибок при помощи символьных предикатов безопасности после гибридного фаззинга. Внедрение: в центре Доверенного Искусственного Интеллекта ИСП РАН. Область применения: Поиск ошибок в бинарном коде во время динамического анализа для обеспечения безопасного цикла разработки ПО.