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

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