郭德贵-程序安全检测技术 第三讲 控制流分析.pptVIP

2017-4-11 1 第三讲 控制流分析 3.1 抽象语法树基本结构 3.2 程序控制流图 控制流图定义 控制流图构造 控制流图遍历 2017-4-11 2 3.1 抽象语法树基本结构 1.源程序示例 #include stdio.h int main() { int f0,f1,f2,i； int m,r; f0=0; f1=1; m=5; if(m1) {r=m;} else { i=2; while(i=m) {f2=f0+f1; f1=f2; i++;} r=f2; } printf(“%d”,r) return 0; } 2017-4-11 3 2. 文本抽象语法树（.tu文件） @2786 function_decl name: @2791 type: @2792 srcp: b.c:2 body: @2793 @2793 bind_expr type: @107 vars: @2797 body: @2798 @2797 var_decl name: @2803 type: @3 scpe: @2786 srcp: b.c:4 chan: @2804 @2804 var_decl name: @2818 type: @3 scpe: @2786 srcp: b.c:4 chan: @2819 @2819 var_decl name: @2832 type: @3 scpe: @2786 srcp: b.c:4 chan: @2833 @2833 var_decl name: @2851 type: @3 scpe: @2786 srcp: b.c:4 chan: @2820 @2820 var_decl name: @2834 type: @3 scpe: @2786 srcp: b.c:5 chan: @2827 @2827 var_decl name: @2848 type: @3 scpe: @2786 srcp: b.c:5 @2798 statement_list 0:@2805 1:@2806 2:@2807 3:@2808 4:@2809 5:@2810 6:@2811 7:@2812 8:@2813 9:@2814 10:@2815 @2811 modify_expr type: @3 op 0: @2797 op 1: @1783 @2812 modify_expr type: @3 op 0: @2804 op 1: @1795 @2813 modify_expr type: @3 op 0: @2820 op 1: @2821 @2814 cond_expr type: @107 op 0: @2822 op 1: @2823 op 2: @2824 @2815 call_expr type: @3 fn : @2825 0 : @2826 1 : @2827 @2822 le_expr type: @3 op 0: @2820 op 1: @1783 @2823 modify_expr type: @3 op 0: @2827 op 1: @2820 @2824 statement_list 0: @2835 1: @2836 2: @2837 3: @2838 4: @2839 5: @2840 6: @2841 7: @2842 8: @2843 9: @2844 10: @2845 @2835 modify_expr type: @3 op 0: @2833 op 1: @28