РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016617013

Дата регистрации: 23.06.2016

Номер и дата поступления заявки: 2016614318 28.04.2016

Дата публикации: 20.07.2016

Контактные реквизиты:
plo@miee.ru
	
Авторы:
Портнов Евгений Михайлович,
Федоров Алексей Юрьевич,
Ларчиков Александр Викторович

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

Программа для ЭВМ создана по государственному контракту

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

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

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

Тип реализующей ЭВМ: IBM PC - совмест. ПК

Язык программирования: С++

Вид и версия операционной системы: Linux

Объем программы для ЭВМ: 520 Кб