Программный модуль поиска ошибок взаимодействия с памятью в автоматизированных системах управления

20.09.2016

Программа предназначена для поиска ошибок взаимодействия с памятью на базе символьного анализатора KLEE, обеспечивает выявление нижеперечисленных ошибок:- переполнение буфера;- обращение к некорректному участку памяти;- утечки памяти;- разыменование неинициализированных указателей.Для реализации данной функциональности был создан механизм перехвата функций создания, релокации и удаления участков памяти.

ГРНТИ

59.14.21 Проектирование и конструирование электронных измерительных приборов

50.09.45 Контрольно-измерительные устройства автоматики и вычислительной техники

50.43.15 Системы автоматического управления, системы автоматического регулирования и системы автоматического контроля для непрерывных процессов

Ключевые слова

ПРОГРАММНЫЙ МОДУЛЬ

АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ

ТЕПЛОТВОРНАЯ СПОСОБНОСТЬ

ЗОЛЬНОСТЬ

ГОРЕНИЕ

ГРАНУЛИРОВАННОЕ БИОТОПЛИВО

ГОРЕЛКА

Детали

НИОКТР

№ 114121550078

Тип РИД

Программа для ЭВМ

Ожидается

Исполнитель

Исполнители

Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский университет "Московский институт электронной техники"

Заказчик

Министерство образования и науки Российской Федерации

Похожие документы

Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения

0.859

Диссертация

Методы определения ошибочных ситуаций при статическом анализе программ и их использование для поиска дефектов переполнения буфера. Исследование и разработка методов выявления дефектов производительности и архитектуры приложений для современных мобильных и параллельных вычислительных систем

0.842

ИКРБС

Поиск ошибок выхода за границы буфера в бинарном коде программ

0.842

Диссертация