8086 C语言反编译系统的设计及实现技术

本文介绍了8086 C语言反编译系统的结构设计和所实现的无符号信息的C语言反编译技术,即库函数模式识别技术,C子集中间语言,符号执行技术,基于规则的数据类型恢复技术,以及基于规则的ABC程序变换技术等,笔者应用上述技术在PC类微机上实现了8086 C语言反编译系统,该系统能将Microsoft C(Ver 5.0)小存储模式下无符号信息的8086目标代码程序转换成功能等价的C语言程序。

C语言反编译系统DECLER

本文对C语言反编译系统DECLER1．1性能、结构及实现技术给出介绍，并对反编译研究中存在的问题进行了讨论和分析。

68000C反编译系统中的变量类型恢复

在反编译程序中,变量类型的恢复是最困难的环节。本文介绍68000C反编译系统中采用的类型恢复方法,并讨论引起类型恢复不确定的原因。

REF77反编译系统中的控制结构提取

控制结构提取是反编译系统中关键环节之一。高级语言中的控制语句和程序结构不可能仅从几条机器指令就能反映，它需要通过分析整个执行流的组成，转移入口关系才能抽取出来。本文介绍Fortran反编译系统REF77中执行流表mico．t的组成，及控制结构变换法则。

反编译系统PDECS的研制

反编译的理论和实践是国内较新的课题.本文基于实践,提出了反编译的一般处理过程及 P-CODE UCSD PASCAL 反编译程序系统 PDECS 的总体结构,详细论述了控制结构翻译的原理和方法以及数据类型判定的一般途径和方法.

程序变换的一种规范说明方法

文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ．介绍了这一规范说明方法和ＳＭＯＰＴ在反编译系统ＤＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用．所实现的ＡＢ变换器能完成基本的数据类型恢复。

通过自学习生成库函数识别模板库

库函数识别是反编译中的重要的环节，也是难点之一。成功地识别库函数，不仅有利于反编译后继阶段的实现，而且对用户阅读理解反编译生成的高级语言程序大有助益。实现库函数识别，最困难的是为各种编译系统各个版本各种模式的库函数分别构造库函数识别模板库，这是工作量很大的任务。本文介绍了ＤＥＣＬＥＲ中所采用的通过自学习生成模板库的方法。该方法减轻了构造库函数识别模板库的工作量并降低了技术难度。该技术和工具将向用户开放，使用户能参与改进软件的功能。