软件逆向工程技术与应用2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

软件逆向工程技术与应用PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 软件逆向工程概论1

1.1 软件逆向工程概述1

1.2 反编译与二进制翻译3

1.3 反编译过程的各个阶段6

1.4 反编译技术相关研究8

1.5 反编译的形式框架13

1.6 本章小结17

第2章 UQBT框架19

2.1 UQBT框架19

2.2 UQBT中间表示21

2.3 UQBT前端模块21

2.4 后端模块22

2.5 实现效果23

2.6 本章小结24

第3章 硬件体系结构25

3.1 CPU体系结构25

3.2 IA-64体系结构25

3.3 本章小结29

第4章 ELF64文件装载31

4.1 ELF64文件格式31

4.2 ELF64文件MAIN函数定位34

4.3 本章小结41

第5章 反汇编43

5.1 反汇编技术简介43

5.2 自动反汇编构造工具NJMCT44

5.3 IA-64反汇编器构造47

5.4 本章小结48

第6章 语义描述语言49

6.1 语义描述语言49

6.2 语义描述语言SSL49

6.3 SSL文法的扩展55

6.4 本章小结57

第7章 IA-64指令语义抽象59

7.1 概述59

7.2 中间表示59

7.3 基于SSL的IA-64指令语义抽象技术65

7.4 基于模拟的IA-64指令语义抽象技术69

7.5 本章小结78

第8章 谓词消除81

8.1 IA-64谓词执行81

8.2 谓词执行的并行优化82

8.3 谓词消除84

8.4 谓词执行分析85

8.5 谓词消除改进90

8.6 本章小结99

第9章 数据流分析101

9.1 概述101

9.2 简化的分析语言101

9.3 数据流分析定义102

9.4 数据流分析框架105

9.5 数据流分析近似性对过程参数分析的影响108

9.6 本章小结115

第10章 低级C代码生成117

10.1 中间表示的转换117

10.2 过程处理117

10.3 基本块处理119

10.4 低级RT的转换120

10.5 高级RT的转换124

10.6 本章小结125

第11章 间接跳转及switch语句恢复127

11.1 概述127

11.2 Branch语言指称语义127

11.3 结合数据流分析构造控制流图128

11.4 switch语句恢复算法131

11.5 实验数据137

11.6 本章小结138

第12章 数据类型恢复139

12.1 概述139

12.2 基于指令语义的数据类型恢复139

12.3 基于数据流的类型分析142

12.4 本章小结152

第13章 间接调用与动态地址解析153

13.1 概述153

13.2 间接过程调用153

13.3 间接调用动态链接库函数158

13.4 回调函数164

13.5 动态地址解析168

13.6 综合分析173

13.7 本章小结174

第14章 控制流代码恢复分析175

14.1 基本块的划分及控制流图的构建175

14.2 控制流恢复术语179

14.3 高级控制流分析183

14.4 结构化算法188

14.5 本章小结208

第15章 高级控制流代码恢复211

15.1 概述211

15.2 符号与约定211

15.3 生成循环结构代码213

15.4 生成TWO-WAY条件结构代码216

15.5 生成N-WAY条件结构代码219

15.6 生成ONE-WAY结构代码220

15.7 完整的控制流代码生成算法222

15.8 本章小结224

参考文献225

后记235