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

Classified Index: TP311.5 U.D.C:681 Dissertation for the Master Degree in Engineering RESEARCH ON SEMANTIC ANALUSIS OF C PROGRAM BASED ON GCC ABSTRACT SYNTAX TREE TEXT Candidate： Feng Zhansheng Supervisor： Prof.Su Xiaohong Academic Degree Applied for： Master of Engineering Speciality： Computer Science and Technology Affiliation： School of Computer Scinence and Technology Date of Defence： June, 2009 Degree-Conferring-Institution： Harbin Institute of Technology 摘要 本文致力于完成 C 语言源程序的系统依赖图的构造，系统依赖图是静态分析工 具的基础，在逆向工程中具有重要意义。系统依赖图的构造可以归结为控制流分析 和数据流分析，控制流分析主要是求取语句间的控制依赖关系，可以归结为父亲- 孩子关系的求解。数据流分析主要是求取语句间的数据依赖关系，可以归结为到达 -定值信息的求解。 本文提出了一种基于 GCC 抽象语法树文本的构造系统依赖图的新方法，首先， 对 GCC 抽象语法树进行了深入的研究，统计出 GCC 抽象语法树中各个符号的含义， 为后续研究奠定了基础。其次，对 GCC 抽象语法树文本进行了标准化及消除文本 中与控制流分析和数据流分析无关的冗余信息。再次，用面向对象的思想来进行静 态信息提取。最后，在构造系统依赖图时，本文没有采用传统构造系统依赖图的流 程，而是首先建立了控制依赖图，其次在控制依赖图的基础上构建控制流图，再次 在控制流图的基础上构建数据流图。同时本文给出了各个步骤的具体算法描述，其 中包含了自己的算法及对以往算法的改进。为了提高数据流的精度，介绍了一些提 高数据流精度的方法，比如指针分析、变量别名分析等等。另外，本文在设计系统 时，也对每个过程的相关信息进行了统计，为用户查询模块奠定了基础。 本文最后一章给出了系统的详细设计，并对源程序进行了测试，验证了算法的 可行性，通过与以往研究的对比，说明了该方法的优越性。 关键词：GCC 抽象语法树；控制流分析；数据流分析；控制流图；系统依赖图 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, wh