图书介绍
反编译技术与软件逆向分析PDF|Epub|txt|kindle电子书版本网盘下载
- 赵荣彩，庞建民，张靖博编著 著
- 出版社： 北京：国防工业出版社
- ISBN：9787118065466
- 出版时间：2009
- 标注页数：218页
- 文件大小：15MB
- 文件页数：230页
- 主题词：编译程序－程序设计；软件工程－分析程序
PDF下载
下载说明
反编译技术与软件逆向分析PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 绪论1
1.1 软件逆向分析1
1.1.1 与安全相关的逆向分析2
1.1.2 针对软件开发的逆向分析4
1.1.3 本书的主要内容5
1.2 软件逆向分析的历史6
1.3 软件逆向分析的各个阶段6
1.3.1 文件装载7
1.3.2 指令解码7
1.3.3 语义映射8
1.3.4 相关图构造8
1.3.5 过程分析8
1.3.6 类型分析9
1.3.7 结果输出9
1.4 逆向分析框架9
1.4.1 静态分析框架9
1.4.2 动态分析框架10
1.4.3 动静结合的分析框架10
第2章 指令系统12
2.1 指令系统概述12
2.2 机器指令与汇编指令12
2.2.1 机器指令12
2.2.2 汇编指令14
2.3 IA-64体系结构的特点15
2.3.1 显式并行机制16
2.3.2 IA-64微处理器体系结构18
2.4 指令格式21
本章小结24
第3章 可执行文件25
3.1 可执行文件概述25
3.2 可执行文件格式25
3.2.1 ELF文件的3种主要类型26
3.2.2 文件格式26
3.2.3 数据表示26
3.2.4 文件头27
3.2.5 节29
3.2.6 字符串表30
3.2.7 符号表31
3.3 一个简单的ELF文件分析31
3.3.1 文件头分析32
3.3.2 section信息分析33
本章小结33
第4章 反汇编技术35
4.1 反汇编技术简介35
4.2 反汇编算法流程37
4.2.1 线性扫描算法37
4.2.2 递归扫描算法38
4.3 反汇编工具的自动构造方法39
4.3.1 自动构造工具39
4.3.2 利用自动构造方法构建IA-64反汇编器41
4.4 常用反汇编工具介绍42
4.4.1 IDA Pro介绍42
4.4.2 ILDasm介绍44
本章小结45
第5章 指令的语义抽象47
5.1 语义描述语言47
5.1.1 SSL简介47
5.1.2 SSL文法的设计47
5.1.3 SSL文法的扩展52
5.2 中间表示55
5.2.1 低级中间表示（RTL）56
5.2.2 高级中间表示（I-IRTL）57
5.3 指令的语义抽象技术59
5.3.1 语义抽象技术简介59
5.3.2 指令语义的SSL描述60
5.3.3 指令语义的高级模拟60
5.4 基于SSL的IA-64指令语义抽象技术61
5.4.1 IA-64的体系结构特征描述61
5.4.2 整数指令的语义描述63
5.5 基于模拟的LA-64指令语义抽象技术66
5.5.1 IA.64浮点特性66
5.5.2 浮点指令的语义模拟68
5.5.3 浮点并行指令的语义模拟78
本章小结79
第6章 基本数据类型分析81
6.1 数据类型分析的相关概念81
6.1.1 ITA系统中数据类型分析的依据82
6.1.2 ITA系统中基本数据类型分析的重要性82
6.1.3 ITA系统中基本数据类型和高级C语言数据类型82
6.2 基于指令语义的基本数据类型分析83
6.2.1 &和*运算符84
6.2.2 普通算术指令的描述85
6.2.3 内存读写指令85
6.2.4 转移指令86
6.3 基于过程的数据类型分析技术87
6.3.1 变量重命名技术87
6.3.2 变量类型推导的规则89
6.3.3 格理论在变量类型推导中的应用91
本章小结96
第7章 高级控制流恢复98
7.1 控制流恢复概述98
7.1.1 控制语句在中间代码中的组织特点98
7.1.2 基本块的划分及控制流图的构建101
7.1.3 控制流恢复术语103
7.2 高级控制流恢复分析106
7.2.1 可结构化和不可结构化循环子图106
7.2.2 可结构化和不可结构化two-way条件子图106
7.2.3 可结构化和不可结构化n-way条件子图107
7.2.4 多重结构头节点子图108
7.3 结构化算法介绍109
7.3.1 对流图各节点进行正向后序遍历109
7.3.2 对流图各节点进行反向后序遍历109
7.3.3 直接后必经节点的确定110
7.3.4 结构化含有条件判断的子图111
7.3.5 使用PT定理构建循环子图结构114
7.4 可能出现的问题与解决办法119
本章小结120
第8章 过程恢复技术121
8.1 相关知识简介121
8.1.1 调用约定121
8.1.2 控制流分析及数据流分析124
8.1.3 过程抽象124
8.1.4 过程分析的目标125
8.2 库函数恢复126
8.2.1 内嵌库函数的恢复126
8.2.2 动态链接库函数的恢复140
8.3 用户自定义函数分析145
8.3.1 函数名识别145
8.3.2 用户自定义函数的参数分析146
8.3.3 用户自定义函数的返回值分析158
本章小结161
第9章 部分编译优化效果的消除162
9.1 谓词执行效果的消除162
9.1.1 谓词执行和IF转换163
9.1.2 简单谓词消除策略166
9.1.3 谓词分析166
9.1.4 谓词消除171
9.2 投机优化的消除178
9.2.1 IA-64中投机的方式及实现方法178
9.2.2 反投机的目的和算法设计180
9.3 软件流水优化的消除184
9.3.1 软件流水机制184
9.3.2 IA-64软件流水循环187
9.3.3 软件流水消除技术194
9.3.4 ITA系统中软件流水消除技术的实现200
本章小结206
第10章 程序的调试与测试207
10.1 常用程序调试工具207
10.2 几种常用测试集214
参考文献218