ИКРБС
№ АААА-Б19-219030590194-7Отчёт о научно-исследовательской работе "Исследование и разработка алгоритмов динамического символьного исполнения программ" по теме "Проектирование и разработка исследовательского стенда для тестирования и оценки инструментов динамического анализа программ" (заключительный).
25.12.2018
Проведена экспериментальная проверка метода направленного динамического символьного исполнения программ. Реализован экспериментальный стенд для проверки метода направленного динамического символьного исполнения, который может быть использован в промышленности для пакетного анализа программ. Подготовлены предложения по дальнейшим исследованиям в области совмещения статического и динамического анализов программ. Дана оценка результатов анализа программ с открытым исходным кодом с помощью реализованного стенда. Разработаны предложения по дальнейшим исследованиям в области анализа программ.
ГРНТИ
50.41.17 Системное программное обеспечение
Ключевые слова
ТЕСТИРОВАНИЕ ПРОГРАММ
ДИНАМИЧЕСКИЙ АНАЛИЗ ПРОГРАММ
ПОСТАНОВКА ЭКСПЕРИМЕНТА.
Детали
Заказчик
Федеральное агентство научных организаций
Исполнитель
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
Похожие документы
ОТЧЕТ «Исследование и разработка методов направленного динамического анализа программ» по проекту РФФИ 17-07-00702 (этап 2017 года).
0.930
ИКРБС
Отчёт «Исследование и разработка методов направленного динамического анализа программ» по проекту РФФИ 17-07-00702 (итоговый).
0.929
ИКРБС
ОТЧЁТ "Исследование подходов к совмещению статического и динамического анализа программ" по теме:"Динамический анализ программ в интерпретирующих средах" (финальный).
0.905
ИКРБС
Исследование и разработка алгоритмов динамического символьного исполнения программ.
0.899
НИОКТР
Отчёт «Исследование и разработка методов направленного динамического анализа программ» по проекту РФФИ 17-07-00702(промежуточный отчёт 2 периода).
0.898
ИКРБС
Отчёт о научно-исследовательской работе "ИССЛЕДОВАНИЕ И РАЗРАБОТКА МЕТОДОВ СТАТИЧЕСКОГО АНАЛИЗА ИСХОДНОГО И БИНАРНОГО КОДА ДЛЯ ВЫЯВЛЕНИЯ ОШИБОК И УЯЗВИМОСТЕЙ" по теме: "Методы организации детерминированного межпроцедурного статического анализа для поиска ошибок и уязвимости переполнения буфера" (заключительный).
0.898
ИКРБС
Исследование и разработка методов направленного динамического анализа программ. Проект РФФИ 17-07-00702.
0.898
НИОКТР
Отчёт "Разработка методов абстракции динамических структур данных для верификации программ на языке Си" по проекту РФФИ 18-01-00426 (промежуточный, этап 2019 года).
0.897
ИКРБС
Отчёт "Методология построения статического анализа программ для поиска ошибок и уязвимостей в исходном коде программ" по теме: "Исследование и разработка методов выявления дефектов производительности и архитектуры приложений для современных мобильных и параллельных вычислительных систем" (заключительный).
0.896
ИКРБС
Отчёт о научно-исследовательской работе "Системное программирование и информационная безопасность" (промежуточный), этап 2.
0.893
ИКРБС