郭德贵-程序安全检测技术 第二讲 抽象语法树.pptVIP

2017-4-11 1 第二讲 抽象语法树构造 2.1 GCC文本抽象语法树 2.2 文本抽象语法树解析 2017-4-11 2 2.1 GCC文本抽象语法树 1. GCC工作流程 GCC基本流程图如下 用GCC生成文本抽象语法树的命令： gcc –fdump-translation-unit filename.c 自动生成与源程序名对应的文本抽象语法树文件：*.tu 2017-4-11 3 2. 文本抽象语法树结构 GCC生成的抽象语法树是以文本的形式存储在文本文件中的。语法树的结点在文件中表现为若干个以@为起始行的字符串，其中一个结点的结构如下图所示 该结点包括：结点编号@6，结点名称function_decl（函数），及该结点的各个属性字段name:@11（名称）和type:@12（类型）等。 3. 结点种类 1)特殊结点 error_mark:标识任何出错的结构。 identifier_node:表示一个名字。 tree_list:一类特殊结点。 tree_vec:包含一个结点数组。 block:代表一个词法块，表示一个符号名层次块。 2) 类型结点 2017-4-11 4 语法树结点 C类型 语法树结点 C类型 integer_type long/int record_type struct integer_type short union_type union integer_type char enumeral_type enum real_type double array_type 数组类型 real_type float pointer_type 指针类型 void_type void 等等 3)表示常数的结点 integer_cst:整常数 real_cst:实常数 complex_cst:复型常数 vector_cst:向量常数 string_cst:字符串常数 4)表示名字的结点 function_decl:函数名 label_decl:标号名 const_decl:常数名 type_decl:类型名 var_decl:变量名 parm_decl:形参名 result_decl:返回值名 field_decl:域名 namespace_decl:名字空间说明 2017-4-11 5 5) 表示内存引用的结点 component_ref:结构或联合中一个分量的引用 bit_field_ref:访问一个对象内的一组位域 indirect_ref:一元操作* array_ref:数组访问 constructor:返回一组由指定分量组成的集合值 6) 表示表达式的结点 compound_expr:包含两个待计算的表达式 modify_expr:赋值表达式 init_expr:初始化表达式 target_expr:目标初始化 cond_expr:条件表达式 bind_expr:用于去分配时，其值需要被清除的表达式 call_expr:函数调用 2017-4-11 6 7) 表示简单算术运算的结点 2017-4-11 7 语法树 C语言 语法树 C语言 plus_expr + truth_andif_expr mul_expr * truth_orif_expr || addr_expr cond_expr ?: ge_expr = nop_expr 空 le_expr = convert_expr 类型转换 gt_expr trunc_div_expr /整数除 lt_expr rdiv_expr /实数除 eq_expr == preincrement_expr postincrement_expr ++ ++ ne_expr != predecrement_expr postdecrement_expr -- -- 4.重要字段 2017-4-11 8 字段名 含义 字段名 含义 name 名称 type 类型 srcp 来源 prec 精度 body 语句体 chan 链指针 strg 字符串 retn 函数返回值 args 参数 next 语句链 scpe 隶属 low 常量值 ptd 指针类型 elts 数组类型 valu 值 decl 声明 init 初始化 domn 范围 op x 操作 cond 条件 then if分支 else else分支 begin 开始 end 结束 min 最小值 max 最大值 lngt 串长度 2.2 抽象语法树解析 2017-4-11 9 目前解析GCC产生的抽象语法树主要有以下三种方法