Development of the static analyzer based on symbolic execution

Abstract

Данная выпускная квалификационная работа посвящена разработке статического анализатора кода для языка Java. Реализованный инструмент основан на автоматической генерации тестов с помощью символьного исполнения, а также техники taint-анализа, и позволяет обнаруживать серьезные ошибки в анализируемой программе, например, разыменование нулевого указателя, запись или чтение вне границ массива, целочисленное деление на ноль или SQL-инъекция.

This thesis is devoted to the development of a static code analyzer for the Java language. The implemented tool is based on automatic test generation using symbolic execution, as well as taint analysis techniques, and allows you to detect crucial mistakes in the analyzed program, for example, dereferencing a null pointer, writing or reading outside the bounds of an array, integer division by zero or SQL-injection.