Improving the efficiency of program analysis with symbolic execution

The most common errors in programs written in C/C++ languages are errors of memory interaction. This work is aimed at developing efficient software tools that provide more efficient detection of memory usage errors that occur during the execution of the program. For these purposes, memory analysis algorithms are discussed in the context of symbolic execution. Conducted experimental research has found that program implementation of memory error detection algorithms based on symbolic execution has the advantage over analogue products by such criteria as completeness and accuracy of analysis.