Диссертация
№ АААА-В18-418031590033-5Поиск ошибок выхода за границы буфера в бинарном коде программ
15.03.2018
Объект исследования - трассы выполнения анализируемых программ, представленных в виде бинарного кода. Цель исследования - разработка метода поиска ошибок выхода за границы буфера в бинарном коде программ. Результаты были получены с использованием методов символьной интерпретации. Разработан метод поиска ошибок выхода за границы буфера на основе символьной интерпретации трассы с использованием абстрактной длины переменных-массивов, полученных по результатам обратной инженерии бинарного кода. Разработаны методы, улучшающие точность поиска ошибок выхода за границы буфера за счёт выявления функций работы со строками, которые подверглись встраиванию в процессе компиляции и предварительного расширения покрытия кода при сборе трассы выполнения. На основе предложенных методов разработано и реализовано программное средство для поиска ошибок выхода за границы буфера. Область применения: аудит безопасности программного обеспечения, сертификация программного обеспечения.
ГРНТИ
81.93.29 Информационная безопасность. Защита информации
50.41.25 Прикладное программное обеспечение
Ключевые слова
ВЫЯВЛЕНИЕ УЯЗВИМОСТЕЙ; БИНАРНЫЙ КОД; ДИНАМИЧЕСКИЙ АНАЛИЗ; СИМВОЛЬНОЕ ВЫПОЛНЕНИЕ
Детали
Автор
Каушан Вадим Владимирович
Вид
Кандидатская
Целевое степень
Кандидат технических наук
Дата защиты
15.02.2018
Организация защиты
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
Организация автора
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
Похожие документы
Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения
0.914
Диссертация
Методы определения ошибочных ситуаций при статическом анализе программ и их использование для поиска дефектов переполнения буфера. Исследование и разработка методов выявления дефектов производительности и архитектуры приложений для современных мобильных и параллельных вычислительных систем
0.888
ИКРБС
Отчёт "Разработка методов статического анализа бинарного кода для поиска ошибок в программах" по проекту РФФИ 18-07-01154 (заключительный). Этап 3.
0.877
ИКРБС
Поиск ошибок в бинарном коде методами динамической символьной интерпретации
0.875
Диссертация
Отчёт о научно-исследовательской работе "ИССЛЕДОВАНИЕ И РАЗРАБОТКА МЕТОДОВ СТАТИЧЕСКОГО АНАЛИЗА ИСХОДНОГО И БИНАРНОГО КОДА ДЛЯ ВЫЯВЛЕНИЯ ОШИБОК И УЯЗВИМОСТЕЙ" по теме: "Методы организации детерминированного межпроцедурного статического анализа для поиска ошибок и уязвимости переполнения буфера" (заключительный).
0.871
ИКРБС
Отчёт "Исследование и разработка методов защиты от эксплуатации ошибок в программах и методов обхода таких защит" по проекту РФФИ 17-01-00600 (промежуточный).
0.870
ИКРБС
Исследование и разработка методов защиты от эксплуатации ошибок в программах и методов обхода таких защит. Проект РФФИ 17-01-00600.
0.864
НИОКТР
Разработка методов статического анализа бинарного кода для поиска ошибок в программах Проект РФФИ 18-07-01154.
0.857
НИОКТР
Разработка метода оценки эксплуатируемости программных дефектов
0.857
Диссертация
Разработка методов статического анализа бинарного кода для поиска ошибок в программах Проект РФФИ 18-07-01154.
0.857
НИОКТР