Abstract: A lot of static code analysis methods take control flow graph as basis. This paper uses a constraintbased analysis techniques, including constraintbased 0-CFA, adding data flow analysis method to construct the set of constraints, using fixed-point algorithm to find the smallest solution of the set of constraints, and generates a control flow graph, reduction unreachable branch, generates less redundant control flow graph. The control flow graph, generated in this article as the basis of the static code analysis methods to improve the efficiency of static code analysis, can reduce the rate of false positives.

Key words: static analysis, constraint-based analysis, control flow analysis, fixed-point algorithm