Инструмент обнаружения дефектов в программе методами динамического анализа программ Anxtiety
14 сентября 2018
611
Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | — |
Ссылка на публикацию в интернете | www.ispras.ru/technologies/anxtiety/ |
Аннотация
Динамическое символьное выполнение позволяет автоматически, без дополнительной информации об анализируемой программе, генерировать входные данные с целью обхода достижимых частей исполняемого кода и реализации ошибочных ситуаций для потенциально опасных операций. Анализ производится путём итеративного запуска программы на наборе входных данных, построения формулы ограничения пути, решения формулы с целью построения нового набора входных данных для обхода ранее не исполнявшейся части программы или реализации ошибок при исполнении потенциально опасной операции.
ПодробнееДля того чтобы оставить комментарий необходимо авторизоваться.