Разработка методов статического анализа бинарного кода для поиска ошибок в программах Проект РФФИ 18-07-01154.

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