РИД
№ 623011400004-3«Casr-gdb»
14.01.2023
Программа предназначена для анализа аварийных завершений, оценки критичности и получения информации об аварийном завершении (стек вызовов, состояние регистров, карта памяти, инструкции и т.д.). Для получения полезной информации о программе используется отладчик gdb. В качестве результата программа предоставляет отчёт об аварийном завершении в формате json. Программа может быть использована для анализа аварийных завершений, полученных в
результате фаззинга.
Программа для ЭВМ разработана ИСП РАН в рамках мероприятия «Создание доверенных, с точки зрения безопасности исходного кода, версий выбранных открытых фреймворков с интеграцией предложенных исправлений в соответствии с ТЗ» Программы центра ИИ «Разработка методов и технологий создания систем доверенного искусственного интеллекта» по направлению доверенный искусственный интеллект.
ГРНТИ
50.41.17 Системное программное обеспечение
Ключевые слова
фаззинг
поиск ошибок
оценка критичности
анализ аварийных завершений
Детали
НИОКТР
Тип РИД
Программа для ЭВМ
Сферы применения
Анализ ошибок в программах для ЭВМ, выявленных в результате аварийного завершения при фаззинге.
Ожидается
Исполнитель
Исполнители
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
Заказчик
АВТОНОМНАЯ НЕКОММЕРЧЕСКАЯ ОРГАНИЗАЦИЯ "АНАЛИТИЧЕСКИЙ ЦЕНТР ПРИ ПРАВИТЕЛЬСТВЕ РОССИЙСКОЙ ФЕДЕРАЦИИ"
Похожие документы
Программа CSVisDbg для визуальной отладки Cloud Sisal программ
0.796
РИД
Программа интерпретации внутреннего представления Cloud Sisal программ (CSIRI)
0.789
РИД
Программа для ЭВМ "Конфигуратор ARC"
0.772
РИД
Отчёт "Разработка методов статического анализа бинарного кода для поиска ошибок в программах" по проекту РФФИ 18-07-01154 (заключительный). Этап 3.
0.769
ИКРБС
Программный комплекс автоматизированного обнаружения семантических ошибок для программ в системе LuNA методом «посмертного» анализа
0.768
РИД
Программа CS2CPP для кроссплатформенной компиляции Cloud Sisal программ
0.768
РИД
Методы определения ошибочных ситуаций при статическом анализе программ и их использование для поиска дефектов переполнения буфера. Исследование и разработка методов выявления дефектов производительности и архитектуры приложений для современных мобильных и параллельных вычислительных систем
0.766
ИКРБС
Доработанный поведенческий эмулятор микропроцессоров с архитектурой КОМДИВ64
0.766
РИД
Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++
0.765
Диссертация
Программный модуль поиска ошибок взаимодействия с памятью в автоматизированных системах управления
0.764
РИД