扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
买过本商品的人还买了
软件逆向工程技术与应用 版权信息
- ISBN：9787509628270
- 条形码：9787509628270 ; 978-7-5096-2827-0
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
软件逆向工程技术与应用 本书特色
软件逆向工程应用性非常广泛，《经济管理学术文库：软件逆向工程技术与应用》关注软件逆向工程的核心问题软件静态分析。《经济管理学术文库：软件逆向工程技术与应用》具体以ia-64平台下的反编译工程为主线，在论述方面兼顾理论性与实践性。全书共分为15章。前3章介绍了软件逆向工程及反编译方面的相关基础知识。第4章和第5章介绍了反汇编器的设计。第6章和第7章论述了语义描述的问题。其余章节针对反编译的若干关键技术展开详细介绍。全书虽然以ia-64平台为例展开论述，但相关技术及算法完全可以应用到其他平台。 《经济管理学术文库：软件逆向工程技术与应用》可为从事软件逆向工程工作的工程技术人员提供参考，也可作为计算机软件专业研究生的课程教科书或教学参考书。
软件逆向工程技术与应用 内容简介
软件逆向工程应用性非常广泛，《经济管理学术文库：软件逆向工程技术与应用》关注软件逆向工程的核心问题软件静态分析。《经济管理学术文库：软件逆向工程技术与应用》具体以IA-64平台下的反编译工程为主线，在论述方面兼顾理论性与实践性。全书共分为15章。前3章介绍了软件逆向工程及反编译方面的相关基础知识。第4章和第5章介绍了反汇编器的设计。第6章和第7章论述了语义描述的问题。其余章节针对反编译的若干关键技术展开详细介绍。全书虽然以IA-64平台为例展开论述，但相关技术及算法完全可以应用到其他平台。 《经济管理学术文库：软件逆向工程技术与应用》可为从事软件逆向工程工作的工程技术人员提供参考，也可作为计算机软件专业研究生的课程教科书或教学参考书。
软件逆向工程技术与应用 目录
第1章 软件逆向工程概论
1.1 软件逆向工程概述
1.2 反编译与二进制翻译
1.3 反编译过程的各个阶段
1.4 反编译技术相关研究
1.5 反编译的形式框架
1.6 本章小结
第2章 uqbt框架
2.1 uqbt框架
2.2 uqbt中间表示
2.3 uqbt前端模块
2.4 后端模块
2.5 实现效果
2.6 本章小结
第3章 硬件体系结构
3.1 cpu体系结构
3.2 la-64体系结构
3.3 本章小结
第4章 elf64文件装载
4.1 elf64文件格式
4.2 elf64文件main函数定位
4.3 本章小结
第5章 反汇编
5.1 反汇编技术简介
5.2 自动反汇编构造工具njmct
5.3 ia-64反汇编器构造
5.4 本章小结
第6章 语义描述语言
6.1 语义描述语言
6.2 语义描述语言ssl
6.3 ssl文法的扩展
6.4 本章小结
第7章 la-64指令语义抽象
7.1 概述
7.2 中间表示
7.3 基于ssl的ia-64指令语义抽象技术
7.4 基于模拟的la-64指令语义抽象技术
7.5 本章小结
第8章 谓词消除
8.1 la-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.2 branch语言指称语义
11.3 结合数据流分析构造控制流图
11.4 switch语句恢复算法
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 本章小结
参考文献
后记
1.1 软件逆向工程概述
1.2 反编译与二进制翻译
1.3 反编译过程的各个阶段
1.4 反编译技术相关研究
1.5 反编译的形式框架
1.6 本章小结
第2章 uqbt框架
2.1 uqbt框架
2.2 uqbt中间表示
2.3 uqbt前端模块
2.4 后端模块
2.5 实现效果
2.6 本章小结
第3章 硬件体系结构
3.1 cpu体系结构
3.2 la-64体系结构
3.3 本章小结
第4章 elf64文件装载
4.1 elf64文件格式
4.2 elf64文件main函数定位
4.3 本章小结
第5章 反汇编
5.1 反汇编技术简介
5.2 自动反汇编构造工具njmct
5.3 ia-64反汇编器构造
5.4 本章小结
第6章 语义描述语言
6.1 语义描述语言
6.2 语义描述语言ssl
6.3 ssl文法的扩展
6.4 本章小结
第7章 la-64指令语义抽象
7.1 概述
7.2 中间表示
7.3 基于ssl的ia-64指令语义抽象技术
7.4 基于模拟的la-64指令语义抽象技术
7.5 本章小结
第8章 谓词消除
8.1 la-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.2 branch语言指称语义
11.3 结合数据流分析构造控制流图
11.4 switch语句恢复算法
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 本章小结
参考文献
后记
展开全部
软件逆向工程技术与应用 作者简介
丁松阳，男，1972年5月出生，副教授。2010年12月毕业于解放军信息工程大学计算机软件与理论专业，获工学博士学位。1994年7月至今从事计算机相关教学与研究工作，研究方向为计算机网络及信息安全。
书友推荐
- >
月亮虎
月亮虎
¥20.2¥48.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥36.0¥48.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥17.4¥58.0 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥13.5¥24.0 - >
史学评论
史学评论
¥23.2¥42.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥18.7¥39.8 - >
烟与镜
烟与镜
¥15.4¥48.0
本类畅销
-
详解Spring Boot(从入门到企业级开发实战)/孙鑫精品图书系列
¥64.2¥129 -
PYTHON应用与实战
¥52.9¥79.8 -
Python编程与数值方法
¥79.6¥109 -
Go语言从入门到项目实战(视频版)
¥60.4¥108 -
软件设计师
¥14.2¥38 -
GO语言编程从入门到实践
¥75.6¥108
