Research And Application Of File Simplification Technology In Static Analysis

With the fast development of the computer industry, the increasing scale and complexity of software system, and the expendingapplication areas, how to guarantee and improve the reliability and the safety has become the focus in the research of computer. Software testing has become an indispensable part in software’s life circle. Static analysis is a code analysis technology which is corresponding with the dynamic analysis. With its fast execution, highly effective, not actually execute the program and other characteristics, it is highly valued by the field and developed rapidly in recent years.With the constant expansion of the software, how to improve the efficiency of static analysis becomes a widespread concern. Therefore, this research will focus on how to improve the efficiency of static analysis.In this thesis, we let the C language as the research object, and focus on how to remove the redundant code in C preprocessor output combined with C preprocessor principle. This thesis also design and implement the function of the simplification of c preprocessor output, and improve the efficiency of static analysis effectively.This thesis first introduces the structure of C preprocessor output and the model of redundant information, then statistical analysis the redundancy information proportion through a lot of experiment and describes the necessary for the simplification of c preprocessor output. In this thesis, we design the file-simplication subsystem to remove the redundant information and store the header information reasonable to eliminate the effects of the static analysis precision which is caused by removing the redundant information. Finally, based on the software defect detecting tool-DTS (defect Testing System), we implement the file-simplication subsystem. We apply DTSGCC to validate plenty of GCC open source projects to proving the feasibility and effectiveness of our method.