Инструмент обнаружения дефектов в программе методами динамического анализа программ Anxtiety

14 сентября 2018
384
Предметная область
Выходные данные
Ключевые слова
Вид публикации Статья
Контактные данные автора публикации
Ссылка на публикацию в интернете www.ispras.ru/technologies/anxtiety/

Аннотация

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