Disassembly is fundamental to binary analysis and rewriting. We present a novel disassembly technique that takes a stripped binary and produces reassembleable assembly code. The resulting assembly code has accurate symbolic information, providing cross-references for analysis and to enable adjustment of code and data pointers to accommodate rewriting. Our technique features multiple static analyses and heuristics in a combined Datalog implementation. We argue that Datalog's inference process is particularly well suited for disassembly and the required analyses. Our implementation and experiments support this claim. We have implemented our approach into an open-source tool called Ddisasm. In extensive experiments in which we rewrite thousands of x64 binaries we find Ddisasm is both faster and more accurate than the current state-of-the-art binary reassembling tool, Ramblr.

中文翻译：

---

数据记录反汇编

反汇编是二进制分析和重写的基础。我们提出了一种新颖的反汇编技术，该技术采用剥离的二进制文件并生成可重新组装的汇编代码。生成的汇编代码具有准确的符号信息，为分析提供交叉引用，并能够调整代码和数据指针以适应重写。我们的技术在组合的 Datalog 实现中具有多个静态分析和启发式方法。我们认为 Datalog 的推理过程特别适合反汇编和所需的分析。我们的实施和实验支持这一说法。我们已将我们的方法实施到名为 Ddisasm 的开源工具中。