南京航空学院 研究生硕士学位论文 王海鹰PDF电子书下载

一、前言 1

1、问题的提出 1

2、程序分析简介 2

3、GMPAS简介 3

二、概念和模型 4

1、流图 4

2、控制流分析和数据流分析 7

3、指令分类模型 9

三、机器代码程序分析的讨论 12

1、“独立”指令与“相关”指令 12

2、机器代码程序分析过程 13

3、G MPA S处理策略 15

四、GMPAS的数据结构 17

五、GMPAS体系结构 21

1、系统概貌 21

2、几个主要模块及算法 24

3、用户接口 32

4、实际规模 40

六、简单评价 40

七、结束语 44

致谢 44

参考文献 45