程序分析方法PDF电子书下载

第1章 程序设计语言 1

1.1 程序设计语言发展的四个阶段 1

1.1.1 机器语言 2

1.1.2 汇编语言 3

1.1.3 高级语言 3

1.1.4 第四代语言 6

1.2 程序设计语言的发展趋势 7

小结 8

第2章 元程序设计 9

2.1 元程序介绍 9

2.2 元程序设计系统 12

2.2.1 元程序系统的组成 12

2.2.2 中间表示 12

2.2.3 规则分类和对应的结构 14

2.2.4 元级操作 18

2.2.5 系统的生成 21

2.3 元级系统的实际应用 21

2.3.1 如何构造高效的系统 21

2.3.2 几个元级系统的介绍 22

小结 42

第3章 信息流分析 43

3.1 控制流分析 43

3.1.1 控制流分析实例 43

3.1.2 控制流分析方法 46

3.1.3 程序的结构化转换 55

3.2 数据流分析技术 57

3.2.1 数据流方程定义和活跃变量分析 57

3.2.2 数据流异常的检测 62

3.2.3 常量表达式节省 63

3.2.4 公共子表达式节省 67

3.3 信息流分析技术的应用实例 69

3.3.1 方法描述 70

3.3.2 应用 72

小结 74

第4章 别名分析 75

4.1 指针别名 75

4.1.1 指针别名的产生 75

4.1.2 别名信息的分类 76

4.2 别名信息的表示 79

4.2.1 别名信息的表示介绍 79

4.2.2 别名计算 80

4.3 C语言的别名计算 81

4.3.1 C语言的别名采集器 81

4.3.2 C语言的别名传播器 83

4.4 Java的别名分析 86

4.4.1 Java中的别名问题 86

4.4.2 别名分析算法 87

小结 94

第5章 程序分片 95

5.1 程序分片的基础知识 95

5.1.1 程序分片的基本概念 95

5.1.2 一些常见的程序分片方法 101

5.1.3 程序分片的应用 102

5.2 程序分片方法 104

5.2.1 基于数据流方程求解的过程内分片 105

5.2.2 基于数据流方程求解的过程间分片 106

5.2.3 基于程序依赖图的过程内分片 108

5.2.4 基于系统依赖图的过程间分片 110

5.2.5 动态分片 113

5.2.6 条件分片 122

小结 130

第6章 形式概念分析 131

6.1 FCA和格理论基础介绍 131

6.1.1 偏序集及完全格的基本概念 131

6.1.2 Galois连接 133

6.2 FCA的基本概念 134

6.2.1 上下文 134

6.2.2 概念 135

6.2.3 概念格 137

6.2.4 多值上下文 139

6.2.5 概念格的生成算法 142

6.2.6 生成概念格的工具 145

6.3 概念格在程序分析中的应用 145

6.3.1 概述 146

6.3.2 从源程序中推导配置结构 147

6.3.3 从遗留软件中提取类或模块 149

6.3.4 重构类结构 155

6.3.5 动态分析 162

小结 164

第7章 部分求值技术 165

7.1 部分求值技术基本原理 165

7.1.1 Kleene的s-m-n理论 165

7.1.2 部分求值器的定义 167

7.2 几种部分求值技术的介绍 171

7.2.1 静态部分求值方法 172

7.2.2 动态部分求值技术 175

7.2.3 动静态结合的部分求值技术 180

7.3 Futamura投影定理 185

7.3.1 第一投影定理 185

7.3.2 编译器的生成与第二投影定理 186

7.3.3 第三投影定理 186

7.4 程序点例化技术 188

7.4.1 状态、程序点和分割 188

7.4.2 程序点例化 189

7.4.3 不同语句的代码生成 190

7.4.4 转换压缩 192

7.4.5 正确的分割技巧 193

7.4.6 简单绑定时间分析 194

小结 194

参考文献 195