2017 · 会议论文

Ramblr：让二进制重汇编重新可行

Ramblr: Making Reassembly Great Again

Ruoyu Wang; Yan Shoshitaishvili; Antonio Bianchi; Aravind Machiry; John Grosen; Paul Grosen; Christopher Kruegel; Giovanni Vigna

Ramblr 生成可重汇编的反汇编结果，即从去除符号的二进制中恢复出、可以修改并用现成汇编器重新汇编的汇编代码。它以 angr 的控制流图恢复为基础，对数据区内容进行分类，再判断哪些立即数和数据值是对代码或数据的引用、必须转换为符号。基址指针重归属用于处理经编译器优化后指向目标对象之外的引用；健全性检查则使 Ramblr 能够拒绝重汇编无法安全处理的二进制，例如对指针进行加密的程序。作者在为 x86 与 x86-64 编译的 106 个 GNU Coreutils 程序，以及 143 个 DARPA 网络超级挑战赛（CGC）二进制上，按六种优化级别进行评测。他们报告，Uroboros 会破坏 22.64% 的 -O0 及 56.61% 的 -O1 32 位 Coreutils 二进制，而 Ramblr 一个也未破坏；在 CGC 二进制上，Ramblr 在每种优化级别下的重汇编成功率均超过 98%。

研究范围与局限

原型适用于由 GCC 或 Clang 生成的 x86 与 x86-64 ELF 二进制，这类二进制的代码区不含内联数据；MSVC 等编译器会把跳转表放在代码中，处理其生成的二进制仍需进一步工作。作者强调静态内容分类在一般情况下不可行：Ramblr 是一种经验性方法，例如当二进制被链接到特定基址、使其地址与普通常量冲突时，很可能失败。与 Uroboros 的比较只覆盖 32 位二进制，在 Coreutils 上也只比较 -O0 与 -O1，因为 Uroboros 无法处理 64 位输入，且在高于 -O1 时的失败率已无比较意义。正确性依据相对链接器真实信息的符号化结果以及各程序的测试用例衡量，不能证明完全等价。这些结果基于 2017 年时的 angr 及所评测的工具链。

与本合集的关联

补充可重汇编反汇编研究，这是一种输出可修改汇编代码而非直接修补字节的静态二进制改写基础技术，与合集中的反编译及二进制恢复研究并列。

发表与复核详情

发表载体: NDSS 2017
发表状态: 会议论文
出版／提交日期: 2017 年（具体日期未核实）
日期依据: Internet Society 向 Crossref 提交的元数据仅给出出版年份 2017；出版方 PDF 另列研讨会日期为 2017 年 2 月 26 日至 3 月 1 日，本条目不据此推定出版月份或日期。
DOI: 10.14722/ndss.2017.23225

Crossref 给出标题、八位作者顺序及年份 2017，未列页码；DOI 解析至 NDSS 会议议程页面，该页面链接 15 页 PDF 与幻灯片。PDF 页脚标明 NDSS ’17 于 2017 年 2 月 26 日至 3 月 1 日在圣迭戈举行。论文称整个 Ramblr 工具链均已开源，Ramblr 以 Python 分析模块的形式包含在 angr 中，其余部分包含在二进制修补平台 Patcherex 中，但未给出仓库地址、版本或提交。angr 目前提供一个 Reassembler 分析（审阅于提交 ae9f578），但其源码从未提及 Ramblr 或该论文，因此 angr 与 Patcherex 均未被记为论文的 code_url。评测在 Ubuntu Server 16.04 上的 PyPy 5.3.1 中进行。本次未安装或运行任何内容。

来源复核于 2026-10-19

本合集仅做来源复核，未重新运行论文实验。请通过原始论文或 BibTeX 引用原作者。

报告条目过时建议修正翻译

研究范围与局限

与本合集的关联

发表与复核详情

一手来源