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

程序分析技术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 程序分片工具ConSIT95

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