Development of taint analysis for the KLEE symbolic machine

Abstract

В современном мире важной характеристикой любого программного продукта является его надежность, поскольку с ростом кодовой базы растёт вероятность появления в коде уязвимостей и ошибок. Поэтому тестирование является важнейшей и неотъемлемой частью разработки любого программно- го продукта. Но с увеличением объема кода растут затраты на тестирование, поэтому важной задачей является автоматизация тестирования и поиска уяз- вимостей. Одним из эффективных подходов для автоматизации тестирования является символьное исполнение. Однако оно имеет недостатки при работе с внешними функциями. В данной работае будет реализован taint анализ для символьного исполнения для решения данной проблемы.

In the modern world, an important characteristic of any software product is its reliability, since as the code base grows, so does the likelihood of vulnerabilities and errors appearing in the code. Therefore testing is the most important and integral part of the development of any software th product. But as the volume of code increases, testing costs increase, Therefore, an important task is to automate testing and search for vulnerabilities. Visibility. One of the effective approaches for test automation is symbolic execution. However, it has disadvantages when working with external functions. In this work, taint analysis will be implemented for symbolic execution to solve this problem.