新書推薦:
《
东欧史(全二册)-“中间地带”的困境
》
售價:HK$
227.7
《
虚拟资本:金融怎样挪用我们的未来
》
售價:HK$
79.4
《
刻意练习不生气
》
售價:HK$
40.3
《
大宋理财:青苗法与王安石的金融帝国(全彩插图本)
》
售價:HK$
112.7
《
安全感是内心长出的盔甲
》
售價:HK$
68.8
《
快人一步:系统性能提高之道
》
售價:HK$
113.9
《
我们为什么会做梦:让梦不再神秘的新科学
》
售價:HK$
79.4
《
算法图解(第2版)
》
售價:HK$
80.3
|
內容簡介: |
软件逆向工程应用性非常广泛,《经济管理学术文库:软件逆向工程技术与应用》关注软件逆向工程的核心问题软件静态分析。《经济管理学术文库:软件逆向工程技术与应用》具体以IA-64平台下的反编译工程为主线,在论述方面兼顾理论性与实践性。全书共分为15章。前3章介绍了软件逆向工程及反编译方面的相关基础知识。第4章和第5章介绍了反汇编器的设计。第6章和第7章论述了语义描述的问题。其余章节针对反编译的若干关键技术展开详细介绍。全书虽然以IA-64平台为例展开论述,但相关技术及算法完全可以应用到其他平台。
《经济管理学术文库:软件逆向工程技术与应用》可为从事软件逆向工程工作的工程技术人员提供参考,也可作为计算机软件专业研究生的课程教科书或教学参考书。
|
關於作者: |
丁松阳,男,1972年5月出生,副教授。2010年12月毕业于解放军信息工程大学计算机软件与理论专业,获工学博士学位。1994年7月至今从事计算机相关教学与研究工作,研究方向为计算机网络及信息安全。
|
目錄:
|
第1章软件逆向工程概论
1.1软件逆向工程概述
1.2反编译与二进制翻译
1.3反编译过程的各个阶段
1.4反编译技术相关研究
1.5反编译的形式框架
1.6本章小结
第2章UQBT框架
2.1UQBT框架
2.2UQBT中间表示
2.3UQBT前端模块
2.4后端模块
2.5实现效果
2.6本章小结
第3章硬件体系结构
3.1CPU体系结构
3.2lA-64体系结构
3.3本章小结
第4章ELF64文件装载
4.1ELF64文件格式
4.2ELF64文件MAIN函数定位
4.3本章小结
第5章反汇编
5.1反汇编技术简介
5.2自动反汇编构造工具NJMCT
5.3IA-64反汇编器构造
5.4本章小结
第6章语义描述语言
6.1语义描述语言
6.2语义描述语言SsL
6.3SSL文法的扩展
6.4本章小结
第7章lA-64指令语义抽象
7.1概述
7.2中间表示
7.3基于SSL的IA-64指令语义抽象技术
7.4基于模拟的lA-64指令语义抽象技术
7.5本章小结
第8章谓词消除
8.1lA-64谓词执行
8.2谓词执行的并行优化
8.3谓词消除
8.4谓词执行分析
8.5谓词消除改进
8.6本章小结
第9章数据流分析
9.1概述
9.2简化的分析语言
9.3数据流分析定义
9.4数据流分析框架
9.5数据流分析近似性对过程参数分析的影响
9.6本章小结
第10章低级C代码生成
10.1中间表示的转换
10.2过程处理
10.3基本块处理
10.4低级RT的转换
10.5高级RT的转换
10.6本章小结
第11章间接跳转及switch语句恢复
11.1概述
11.2Branch语言指称语义
11.3结合数据流分析构造控制流图
11.4switch语句恢复算法
11.5实验数据
11.6本章小结
第12章数据类型恢复
12.1概述
12.2基于指令语义的数据类型恢复
12.3基于数据流的类型分析
12.4本章小结
第13章间接调用与动态地址解析
13.1概述
13.2间接过程调用
13.3间接调用动态链接库函数
13.4回调函数
13.5动态地址解析
13.6综合分析
13.7本章小结
第14章控制流代码恢复分析
14.1基本块的划分及控制流图的构建
14.2控制流恢复术语
14.3高级控制流分析
14.4结构化算法
14.5本章小结
第15章高级控制流代码恢复
15.1概述
15.2符号与约定
15.3生成循环结构代码
15.4生成TWO-WAY条件结构代码
15.5生成N-WAY条件结构代码
15.6生成ONE-WAY结构代码
15.7完整的控制流代码生成算法
15.8本章小结
参考文献
后记
|
|