Отчёт "Разработка методов статического анализа бинарного кода для поиска ошибок в программах" по проекту РФФИ 18-07-01154 (заключительный). Этап 3.

Целью проекта является исследование и разработка методов статического анализа бинарного кода, включающая разработку и прототипную реализацию методов поиска критических ошибок в исполняемых файлах. На основе исследования различных инструментов статического анализа, и используя результаты исследования проведённого при разработке статических анализаторов Svace и SharpChecker выбрана архитектура межпроцедурного анализа. Разработан общий программный интерфейс для написания детекторов ошибок, разработаны детекторы ошибок, обеспечивающие поиск таких ошибок в программном коде, как переполнения буфера, ошибка форматной строки и использование указателя после освобождения и некоторые другие. Разработаны и реализованы методы поиска критических ошибок из числа использования некорректной памяти или непроверенных внешних данных и методы проверки корректности созданного компилятором кода (из числа проверок на некоторые типы ошибок, внесённых ошибок при оптимизациях мёртвого кода или кода с неопределённым поведением).