Automatic creation of unit tests to detect vulnerabilities in application source codes

Abstract

Данная работа посвящена динамическому анализу кода, а именно поиску уязвимостей с использованием символьного исполнения. Представляется разработка анализатора, генерирующего модульные тесты в виде эксплойтов для кода. В работе присутствует анализ других инструментов, описание реализации и примеры использования.

This work is devoted to dynamic code analysis, namely the find for vulnerabilities using symbolic execution. Represents the development of an analyzer that generates unit tests as exploits for code. The work contains an analysis of other tools, a description of implementations and examples of use.