程序分析方法PDF|Epub|txt|kindle电子书版本网盘下载

程序分析方法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