Предметом исследования выпускной квалификационной работы является поиск ошибок и уязвимостей в программном обеспечении. Данная работа посвящена повышению эффективности тестирования безопасности программного обеспечения за счет технологии символьного выполнения. Было проведено сравнение существующих инструментов символьного выполнения. В результате экспериментальных опытов было установлено, что наиболее подходящий инструмент для дальнейших исследований является инструмент символьного выполнения на основе компиляции. Были проведены работы по внедрению оптимизаций, а также разработке программного окружения для автоматизации тестирования. Была реализована методика тестирования, основанная на анализе программных выводов. В результате, была внедрена экспериментальная методика тестирования программного обеспечения. Было проанализировано общеизвестноепрограммноеобеспечение, в котором были найдены 1 критическая ошибка и 1 утечка памяти. Областью применения полученных результатов являются системы поиска ошибок и уязвимостей программного обеспечения С/C++с открытым исходным кодом.

The subject of the graduate qualification work is «Identification of software errors using the technology of symbolic execution based on compilation». The subject of research of the final qualification work is the search for errors and vulnerabilities in the software review. This work is devoted to increasing the efficiency of security testing through symbolic execution technology. A comparison was made of existing symbolic execution tools. As a result of experimental experiments, it was found that the most suitable tool for further researchis the compilation-based symbolic execution tool. Work wascarried out to introduce optimizations, as well as to develop a software environment for test automation. A testing methodology based on the analysis of program outputs was implemented. As a result, an experimental software testing methodology was introduced. Well-known software was analyzed, in which 1 critical error and 1 memory leak were found. The scope is the results of the search engineC/C++ software errors and vulnerabilities with source code.