Research On Program Static Analysis

Program static analysis is very import in software testing. Using a static analysis tool can help software metrics, program structure testing and so on. Program static analysis is a focus of software engineering at present and there are also many tools supporting program static analysis, such as LDRA Testbed and McCabe QA. Many domestic products are for source code of C programming language. To improve software testing efficiency and quality, a program static analysis tool's aim is finding out as many bugs as possible before dynamic testing.This paper is mainly about a framework of C static analysis tool. This paper has proved a few conclusions of information flow analysis and found a method that analyzing programs' portion which can run parallel.It can reduce the cost of software testing by information flow analysis that before dynamic software testing. The method that analyzes programs' parallel portion helps people know the structure of software well and it also helps people do software reengineering such as document restructuring and reverse engineering well.