РОССИЙСКАЯ ФЕДЕРАЦИЯ ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ	RU 2016660242

Номер регистрации (свидетельства): 2016660242 Дата регистрации: 08.09.2016 Номер и дата поступления заявки: 2016617475 12.07.2016 Дата публикации: 20.10.2016 Контактные реквизиты: fireman@ispras.ru,, +7 926 751 81 48

Авторы: Круглов Леонид Вячеславович, Вартанов Сергей Павлович, Герасимов Александр Юрьевич, Ермаков Михаил Кириллович (RU) Правообладатель: Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук

Название программы для ЭВМ:
«Инструмент итеративного динамического анализа программ»

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

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

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

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

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