Hierarchical Static Test Method in C Source Code

Abstract

To increase the output's accuracy and credibility of fast static analysis tool, this paper proposes a hierarchical static testing method of C program. The first level is to access static analysis tools with speed heavy proportion and generated the initial output of detection, the second level is extracted the program slicing of the initial test results based on the warning message. Warning program slicing is formalized abstraction into Boolean formula to solve by the SAT solver. It can determine the slicing true or false. The results of the first level and the second level are composited to improve the accuracy of the analytical tools. The experiment showed that the method could improve the accuracy and credibility a certain extent. It also could effectively reduce false positives.