开源 DDisasm：基于 Datalog 的高精度可逆反汇编工具

DDisasm 是一款由 GrammaTech 开发的高性能开源反汇编工具，其核心突破在于生成的汇编代码具有足够的精确度，能够被重新组装回功能相同的可执行文件。该工具采用了独特的声明式逻辑编程语言 Datalog (Souffle) 来编译反汇编规则和启发式算法，从而处理复杂的指令解码与分析逻辑。DDisasm 首先解析 ELF 或 PE 格式的二进制文件，解码指令并生成初始事实集，随后通过逻辑分析识别代码位置、符号信息及函数边界，最终输出为 GTIRB（用于二进制分析和逆向工程的中间表示）。借助 GTIRB pretty printer，用户可以将分析结果重新编译为新的二进制文件或生成汇编代码列表。该工具支持 Linux (ELF) 和 Windows (PE) 格式，覆盖 x86、ARM 及 MIPS 等主流架构。DDisasm 的相关技术成果已被 USENIX Security 2020 和 IEEE S&P 2025 等顶级安全会议收录，展示了其利用加权区间调度等先进算法解决逆向工程难题的能力。

事件分析

💡 核心观点：利用 Datalog 逻辑编程实现可逆反汇编，DDisasm 填补了从静态分析到二进制自动重写的关键技术空白。