一、前言 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