Question

在 20 世纪 90 年代早期，John Gough 教授和 Bill Caelliin 教授提出为现代机器体系结构编写反编译器的可行性问题。这个问题看来可能是对图论和数据流理论领域的一次挑战，因此我决定把寻求二进制程序的逆向编译技术作为我的博士学位论文研究方向。本论文就是对于如何实现它的诸多疑问的回答；而且确实地给出一个反编译器原型。

我要感谢计算技术社区许多人提供时间和资源。John Gough 教授提供许多关于数据流分析方面的讨论，而且为该论文每章草稿都提出意见。Sylvia Willie 从她的实验室借给我一个办公室和一台 PC 机。Pete French 提供在英国的一台 Vax BSD 4.2 机器上的一个账号，使我可以通过网络测试 Vax 反编译器。Jeff Ledermann 重新编写了反汇编器。Michael Van Emmerik 编写了库签名生成器程序，为一些 PC 编译器生成编译器和库的签名，把 dcc 移植到 DOS 环境下，而且为 dcc 编写交互式用户界面。Jinli Cao 在 QUT (QUEENSLAND UNIVERSITY OF TECHNOLOGY) 学习期间把一篇反编译方面的中文文章翻译成英文。Geoff Olney 校对每一章，指出矛盾之处，而且对论文的布局提出建议。我在攻读这个学位期间由澳大利亚研究生研究奖(APRA) 奖学金资助。

Jeff Ledermann 和 Michael Van Emmerik 受雇于澳大利亚研究理事会，ARC 授权号 No. A49130261。

本论文用 LATEX 文档预备系统撰写。所有图表使用 xfig 功能交互式制作生成。

Cristina Cifuentes

June 1994

作者承认这篇论文中使用的所有商标、注册名称或专利商品名是它们各自拥有者的合法财产。