软件静态测试中C/C++抽象语法树的生成

摘要：

本文中C/C++抽象语法树是利用GNU提供的标准编译器生成工具Lex和Yacc,由parser程序通过调用lexical(词法分析程序)进行语法分析生成的. 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链.这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.

关键词：抽象语法树、编译器前端、定义使用链、符号表

所属期刊栏目：18

分类号：TJ0(一般性问题)

在线出版日期：2005-12-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：47-50