Программный модуль интеграции с фаззером Anxiety

14 сентября 2018
282
Предметная область
Отрасли по ОКВЭД
Страна, регион, город Российская Федерация, Москва
Отличия от конкурентов
Вид документа об охране ИС программа для ЭВМ
Номер документа ИС 201766003
Дата регистрации документа ИС 2017-09-13
Необходимые инвестиции для внедрения договорная
Сроки внедрения
Стоимость предоставления технологии договорная
Наличие экспертного заключения Нет

Польза для потенциального потребителя

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