2022年反编译技术与软件逆向分析 .pdf

本书简介本书共分 10章。第1章到第3章简要介绍了软件逆向分析技术的相关基础知识；第4章和第5章从反汇编和中间表示两个方面为反编译奠定基础；第6章到第9章针对反编译的若干关键技术展开详细介绍；第10章则为反编译测试相关的一些可用资源。全书以IA-64 可执行代码为例进行讲解，但相关技术可以向其他平台推广。本书可作为计算机软件专业本科高年级学生、硕士研究生的相关课程教科书或教学参考书，也可供从事软件逆向分析工作的工程技术人员参考。目录第1章 绪论11 软件逆向分析111 与安全相关的逆向分析名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 1 页，共 3 页 - - - - - - - - - 112 针对软件开发的逆向分析113 本书的主要内容12 软件逆向分析的历史13 软件逆向分析的各个阶段131 文件装载132 指令解码133 语义映射134 相关图构造135 过程分析136 类型分析137 结果输出14 逆向分析框架141 静态分析框架142 动态分析框架143 动静结合的分析框架第2章 指令系统21 指令系统概述22 机器指令与汇编指令221 机器指令222 汇编指令23 LA6 4体系结构的特点231 显式并行机制_232 IA 64微处理器体系结构24 指令格式本章小结第3章 可执行文件31 可执行文件概述32 可执行文件格式321 ELF文件的3种主要类型322 文件格式323 数据表示324 文件头325 节326 字符串表327 符号表33 一个简单的 ELF 文件分析331 文件头分析332 section 信息分析本章小结第4章 反汇编技术41 反汇编技术简介42 反汇编算法流程421 线性扫描算法422 递归扫描算法43 反汇编工具的自动构造方法431 自动构造工具432 利用自动构造方法构建 IA-64 反汇编器44 常用反汇编工具介绍名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 2 页，共 3 页 - - - - - - - - - 441 IDAPro 介绍442 ILDasm介绍本章小结第5章 指令的语义抽象51 语义描述语言511 SSL简介512 SSL文法的设计513 SSL文法的扩展52 中间表示521 低级中间表示 (RTL)522 高级中间表示 (HRTL)53 指令的语义抽象技术531 语义抽象技术简介532 指令语义的 SSL 描述533 指令语义的高级模拟54 基于SSL 的IA64指令语义抽象技术541 IA 64的体系结构特征描述542 整数指令的语义描述55 基于模拟的IA64指令语义抽象技术551 IA 64浮点特性552 浮点指令的语义模拟553 浮点并行指令的语义模拟本章小结第6章 基本数据类型分析第7章 高级控制流恢复第8章 过程恢复技术第9章 部分编译优化效果的消除第10章 程序的调试与测试参考文献下载后 点击此处查看更多内容名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 3 页，共 3 页 - - - - - - - - -