Препринт ИСП РАН 24, 2013 г.

Препринты Института системного программирования РАН, Препринт 24, 2013 г.

В.В. Каушан, Ю.В. Маркин, В.А. Падарян, А.Ю. Тихонов. Методы поиска ошибок в бинарном коде. Стр. 1-79.

Аннотация

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

текст в формате pdf

Вернуться к архиву препринтов