Диссертация
№ АААА-В19-419031890006-5Классификация предупреждений о программных ошибках методом динамического символьного исполнения программ
18.03.2019
Цель: повышение точности анализа программ. Разработаны: алгоритмы комбинирования статического анализа программ и динамического символьного исполнения; формальная модель обнаружения ошибок в программе в процессе символьного исполнения программы; метод классификации предупреждений об ошибках в программе. Результаты внедрены в АО «НПО РусБИТех». Область применения: контроль качества компьютерных программ.
ГРНТИ
50.41.17 Системное программное обеспечение
Ключевые слова
КОМБИНИРОВАННЫЙ АНАЛИЗ ПРОГРАММ; ДИНАМИЧЕСКИЙ АНАЛИЗ ПРОГРАММ; СТАТИЧЕСКИЙ АНАЛИЗ ПРОГРАММ; ДИНАМИЧЕСКОЕ СИМВОЛЬНОЕ ИСПОЛНЕНИЕ; ОБНАРУЖЕНИЕ ПРОГРАММНЫХ ОШИБОК
Детали
Автор
Герасимов Александр Юрьевич
Вид
Кандидатская
Целевое степень
Кандидат физико-математических наук
Дата защиты
14.03.2019
Организация защиты
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
Организация автора
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
Похожие документы
Поиск ошибок в бинарном коде методами динамической символьной интерпретации
0.895
Диссертация
Исследование и разработка алгоритмов динамического символьного исполнения программ.
0.883
НИОКТР
Разработка метода оценки эксплуатируемости программных дефектов
0.882
Диссертация
ОТЧЕТ «Исследование и разработка методов направленного динамического анализа программ» по проекту РФФИ 17-07-00702 (этап 2017 года).
0.879
ИКРБС
ОТЧЁТ "Исследование подходов к совмещению статического и динамического анализа программ" по теме:"Динамический анализ программ в интерпретирующих средах" (финальный).
0.869
ИКРБС
Отчёт о научно-исследовательской работе "Исследование и разработка алгоритмов динамического символьного исполнения программ" по теме "Проектирование и разработка исследовательского стенда для тестирования и оценки инструментов динамического анализа программ" (заключительный).
0.868
ИКРБС
Отчёт «Исследование и разработка методов направленного динамического анализа программ» по проекту РФФИ 17-07-00702 (итоговый).
0.865
ИКРБС
Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для построения многоцелевого контекстно-чувствительного анализатора
0.861
Диссертация
Отчёт о научно-исследовательской работе "ИССЛЕДОВАНИЕ И РАЗРАБОТКА МЕТОДОВ СТАТИЧЕСКОГО АНАЛИЗА ИСХОДНОГО И БИНАРНОГО КОДА ДЛЯ ВЫЯВЛЕНИЯ ОШИБОК И УЯЗВИМОСТЕЙ" по теме: "Методы организации детерминированного межпроцедурного статического анализа для поиска ошибок и уязвимости переполнения буфера" (заключительный).
0.861
ИКРБС
Отчёт "Разработка методов статического анализа бинарного кода для поиска ошибок в программах" по проекту РФФИ 18-07-01154 (заключительный). Этап 3.
0.860
ИКРБС