推荐星级：

逆向编译技术

更新时间：2018-09-27 13:07:34 大小：248K 上传用户：robot1991 查看TA发布的资源 标签：逆向编译 下载积分：9分评价赚积分（如何评价?）打赏收藏评论(0) 举报

资料介绍

本文提出逆向编译器或反编译器的编写技术。这些技术基于编译器和优化理论，并以独特的方式应用于反编译；这些技术以前从未被公开发表。

第1章从编译器角度对反编译做一介绍，第2章从20世纪60年代早期反编译出现开始介绍它的历史概况，第3章介绍源二进制程序的静态二进制代码和在运行时间实现程序的动作之间的关系，第4章描述前端模块这个阶段，第5章详细说明用来分析中间代码的数据优化技术，把中间代码转换成一个更高级的表示法，第6章详细说明用来分析控制流向图结构的控制结构转换技术，把控制流向图转换成一个高级控制结构的图，第7章描述后端模块，第8章介绍反编译工具程序，第9章综述dcc的实现以及取得的成果，第10章给出结论以及这项研究的工作前景。

本论文有些部分已经公开发表或者提交给国际定期刊物。两篇文章在1993年出现在第19号《拉丁美洲信息会议》(XIX 'Conferencia Latinoamericana de Informatica')：“一个反编译方法学”[CG93] 和“反编译使用的一个结构化的算法”[Cif93] 。前一篇文章提出反编译的阶段(如第1章第1.3节所述)、前端(第4章)、控制流分析阶段的初始工作(第6章)、以及dcc工作实现的说明。后一篇文章提出控制流分析阶段使用的结构化的算法(第6章)。一篇刊物文章“二进制程序的反编译”[CG94] 已经被《软件-实践与经验》(Software - Practice & Experience)接受发表；这篇文章概述建立一个反编译器所使用的技术(第4,5,6,7章的摘要)、在反编译过程中如何借助签名生成器工具(第8章第8.2节)、以及用dcc反编译的一个程序样本(第9章)。有两篇文章目前正考虑在国际刊物上发表。“子过程之间数据流的反编译”[Cif94a]被提交给《程序语言杂志》(the Journal of Programming Languages)，文中完整描述了数据流分析器的优化操作，把低级的中间代码转换成一个高级的表示法。“结构化反编译图” [Cif94b] 被提交给《计算机杂志》(The Computer Journal)，文中给出结构化控制流向图的最后的改进方法，以及用dcc反编译的一个程序样本。

本论文提出的技术更充分地拓展文献中前人的工作。关于为了确定寄存器参数和寄存器返回值所需要做的子过程寄存器分析、为了清除掉有关栈的指令(即push和pop )所需要的分析、以及控制结构类集之结构化，过去没有相关的反编译研究文献。这次研究做的创新性工作在第5,6,8章描述。第5章第5.2节、第5.4节举例并且描述九种不…………