摘要：本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；介绍了反编译的背景知识；给出一个实用的反编译系统ＤＣＰＬ的设计模型和关键技术及其一个运行结果示例以说明反编译器的功能。

摘要：反编译是一种能将低级语言翻译到高级语言的工具。本文着重介绍反编译代码存储的程序图方法,以及在程序图基础上,对代码程序进行控制流分析、控制结构提取,给出了结构提取的算法:控制流分析过程中的程序图变换。

摘要：八十年代中期以来,国内一些学者和研究单位开展了反编译的研究。我们从八六年以来,对VAX汇编语言程序反编译到C语言程序进行研究。工作虽然是在VAX机器上做的,但结论具有一般性。与编译程序的逐句扫描逐句翻译方法不同,反编译必须采用分块扫描分块翻译的方法。反编译面临的最大难题是:高级语言只有数学逻辑运算功能,而不具备汇编语言具有的表达机器内部物理过程的功能;表达物理过程的汇编语言指令难以反编译为高级语言。

摘要：过程识别技术及相关参数的提取是二进制翻译中过程调用恢复的基础。为较好实现对过程的识别,首先设计了针对GCC编译的ELF(executable and linkable format)文件的过程识别技术,取得了良好的效果。不过随着研究的深入,要求对C编译器和ICC(Intel C++compiler)编译器同时具有良好的支持,但在测试中发现这种识别技术在处理ICC编译的ELF程序指令流时存在的一些问题,为此提出了改进算法,这个算法已经在IA-64-Alpha反编译中实现,从而使系统对C编译器和ICC编译器编译的ELF文件都能进行正确的过程识别和参数提取。

摘要：本文分析了ＦｏｘＢＡＳＥ编译目标文件的结构，给出了直接反编译的方法，并在文末分析了ＦｏｘＢＡＳＥ编译的加密机制。

摘要：基于IDA的反编译中,首先利用IDA作为反汇编的前端,通过以IDAplug-in编写的连接器来导出IDA的反汇编相关结果信息,然后以导出的信息为基础,进行汇编语言到中间语言的翻译、过程/函数的恢复及数据流和控制流分析等后续反编译过程。阐述了利用IDA连接器,在导出反汇编相关结果信息的基础上,设计并实现了从汇编语言到中间语言的转换。

摘要：循环拷贝出错是缓冲区溢出漏洞产生的主要原因之一。为了提高此类漏洞的检测效率,提出一种基于反编译的循环脆弱点检测方法。该方法首先对目标文件进行反编译,在反编译的基础上构建函数的AST(抽象语法树),设计算法提取函数内部的循环信息;然后根据循环脆弱点存在的特性,构建有限状态自动机,对循环脆弱点进行检测。该方法在无源码漏洞检测方面有明显优势,能有效发掘软件中存在的循环脆弱点,提高漏洞挖掘的效率和自动化程度。

摘要：研究反编译的理论和方法对于软件理解和软件移植具有重要意义．本文以数据流图的设计方法，采用二级中间语言表示技术，以ＴｕｒｂｏＣ（２．０）为目标，叙述了实现反编译的过程。

摘要：针对反编译中传统的基于机器SLED描述以及基于语言文法分析的二进制代码指令解码技术复杂、难于移植等缺点,提出了基于IDA Pro的ARM指令解码器的设计思想。该指令解码器在分析IDA Pro内部数据表示的基础上,扩展定义了指令操作数类型及其线性字符串表示,设计连接器提取指令的各语义要素,并且提出了基于静态分支转移的递归算法构建控制流图。实验结果表明,生成结构化汇编结果文件可以有效支持ARM反编译的后续工作。

摘要：库函数的识别是C语言反编译器的重要组成部分。此文论述了C反编译库函数识别中存在的技术难点，并给出其解决方案。