程序分析技术PDF电子书下载

目录 1

前言 1

第1章 程序设计语言 1

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

1 1 1 机器语言 1

1 1.2 汇编语言 2

1 1 3 高级语言 2

1 1 4 第四代语言 3

1.2 高级语言 4

1 2 1 高级语言的分类 4

1 3 未来的语言 5

1 2 2 高级语言的实现 5

第2章 元程序设计 6

2 1 元程序介绍 6

2 2 元程序设计系统 8

2 2.1 元程序系统的组成 8

2 2 2 中间表示 8

2 2 3 规则分类和对应的结构 9

2 2 4 元操作 13

2 2 5 系统的生成 15

2 3 元程序设计的实际应用 15

2 3.1 如何构造高效的系统 15

2 3 2 几个元级系统的介绍 16

3 1.1 控制流分析概述 33

第3章 信息流分析 33

3 1 控制流分析 33

3.1.2 控制流分析方法 35

3 1.3 程序的结构化转换 40

3 2 数据流分析技术 42

3 2 1 数据流方程定义和活跃变量分析 43

3 2 2 数据流异常的检测 47

3 2 3 常表达式节省 48

3 2 4 公共子表达式节省 51

3 3 一种信息流分析技术 52

3 3 1 方法描述 53

3 3 2 应用 55

第4章 别名分析 57

4 1 C语言的别名采集器 59

4 2 C语言的别名传播器 61

4 3 面向Java的实用别名分析技术 63

4.3.1 Java程序中的别名问题 63

4 3 2 别名分析算法 63

4 4 小结 69

第5章 程序分片 70

5.1 程序分片介绍 70

5.1 1 程序分片的基本概念 70

5 1 2 程序分片的分类 74

5.1 3 程序分片的应用 74

5.2.1 Weiser风格的程序分片 75

5 2 静态分片 75

5 2 2 基于程序依赖图的程序分片 76

5 3 过程间的程序分片 77

5.3.1 基于数据流方程的过程间分片算法 78

5.3.2 基于SDG的两阶段图形可达性算法 79

5.4 动态分片 81

5.4.1 动态分片的基本概念 81

5 4.2 动态分片算法 82

5.5 条件分片 89

5.5.1 条件分片的应用 94

5.5.2 程序分片工具ConSIT 95

6.1 形式概念分析的产生与发展 97

第6章 形式概念分析 97

6.2 FCA的基本概念 98

6.2.1 上下文（Context） 98

6.2.2 概念 100

6.2.3 概念格 100

6.2 4 概念格的生成算法 101

6.2 5 概念格的代数分解 104

6.3 概念格在软件工程中的应用 104

6 3 1 概述 104

6 3 2 从源程序中推导配置结构 106

6 3.3 从遗留软件中提取类或模块 107

6.3 4 保持语义不变的重构类结构 114

6 3 5 动态分析 120

6 4.1 介绍 121

6.3 6 小结 121

6 4 概念格在数据挖掘中的应用 121

6 4 2 用概念分析挖掘频繁模式 122

6.4.3 Iceberg概念格 123

6.4 4 小结 126

第7章 部分求值技术 127

7.1 基本原理 127

7.1.1 Kleene的s-m-n理论 127

7 1.2 部分求值器的定义 128

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

7.2.1 静态部分求值方法 133

7.2 2 动态部分求值技术 135

7 2 3 动静态结合的部分求值技术 140

7.3 Futamura投影定理 143

7 3 1 第一投影定理 144

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

7.3.3 第三投影定理 145

7.4 程序点例化技术 146

7.4.1 状态，程序点和分割 146

7.4.2 程序点例化 147

7.4.3 不同语句的代码生成 148

7.4 4 转换压缩 149

7.4.5 正确的分割技巧 150

7 4 6 简单绑定时间分析 151

参考文献 152