- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Препринт ИСП РАН 24, 2013 г.
Новости
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Препринты Института системного программирования РАН, Препринт 24, 2013 г.
В.В. Каушан, Ю.В. Маркин, В.А. Падарян, А.Ю. Тихонов. Методы поиска ошибок в бинарном коде. Стр. 1-79.
Аннотация
Отчет представляет собой обзор современных методов и инструментов поиска ошибок в бинарном коде программ. Рассматриваются различные решения, основанные на динамическом и статическом подходе, комбинирующие их. Отдельно рассматриваются методы, использующие символьную интерпретацию, а так же фаззинг. Приводятся оценки сложности повторения показанных в рассмотренных работах результатов.