Программный модуль интеграции с фаззером Anxiety
Семенов Виталий Адольфович
14 сентября 2018
398
Предметная область | — |
Отрасли по ОКВЭД | — |
Страна, регион, город | Российская Федерация, Москва |
Отличия от конкурентов | — |
Вид документа об охране ИС | программа для ЭВМ |
Номер документа ИС | 201766003 |
Дата регистрации документа ИС | 2017-09-13 |
Необходимые инвестиции для внедрения | договорная |
Сроки внедрения | — |
Стоимость предоставления технологии | договорная |
Наличие экспертного заключения | Нет |
Польза для потенциального потребителя
Трудно разрешимой задачей для инструментов фаззинга программ является подбор входных значений, участвующих в сравнении с константой для условных переходов. Инструменты динамического символьного исполнения позволяют решить данную задачу. Цель создания данного модуля заключается в реализации алгоритмов интеграции инструмента итеративного динамического символьного исполнения программ и инструментов фаззинга для вычисления значений входных данных, позволяющих пройти условный переход в альтернативном направлении по сравнению с входными данными затравки.