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

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

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

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

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

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

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

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

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