基于GCC抽象语法树文本的C源程序语义分析方法研究计算机科学与技术专业论文.docxVIP

Abstract In this paper, system dependence graph on the C programming language is constructed, which is the basis of static analysis tool and plays an important role in the reverse engineering. The construction of system dependence graph can be attributed to the control flow analysis and data flow analysis. The control dependence relationship among statements is obtained by control flow analysis, which can be attributed to obtain the father-child relationship. The data dependence relationship among statements is obtained by data flow analysis, which can be attributed to obtain the global information about how a program defines, changes and uses data values. The method that how to construct the system dependence graph based on the abstract syntax tree text is put forward. Firstly, the abstract syntax tree is studied, and the meaning of symbols in abstract syntax tree is obtained, which lays a good foundation for the following study. Secondly, the abstract syntax tree text is standardized and the redundant information unrelated to the control flow analysis and data flow analysis is eliminated. Thirdly, the object-oriented thinking is introduced to extract the static information. Finally, the traditional process is not followed when constructing the system dependence graph. Control flow graph is constructed based on control dependence graph and data flow graph is constructed based on control flow graph. Also, the description of specific algorithm on every step is given, which includes our own algorithm and the improved algorithm. In order to improve the accuracy of the data flow analysis, some methods are introduced, such as pointer analysis, alias analysis and so on. In addition, the relevant statistical information for each process is obtained, which lays a good foundation for the user’s query module. In the final chapter of this paper, the detailed design is given, and some examples are tested to verify the feasibility of our algorithm. In addition, by contra