Automatic Defect Detection in Industrial C/C++ Software

Vladimir Itsykson, Mihail Moiseev, Vadim Cesko, Alexey Zaharov

Vladimir Itsykson

The solution to the problem of automatic defects detection in industrial software is covered in this paper. The results of the experiments with the existing tools are presented. These results stand for inadequate efficiency of the implemented analysis. Existing source code static analysis methods and defects detection algorithms are covered. The program model and the analysis algorithms based on existing approaches are proposed. The problems of co-execution of different analysis algorithms are explored. The means for improvement of analysis precision and algorithms performance are proposed.

Advantages of the approaches developed are soundness of a solution, full support of the features of target programming languages and analysis of the programs lacking full source code using annotations mechanism. The algorithms proposed in the paper are implemented in the automatic defects detection tool.