ddisasm

Datalog Disassembly DDisasm 是一款 快速 的反汇编器，其精度足以让生成的汇编代码能够被重新汇编。DDisasm 使用 datalog（souffle）声明式逻辑编程语言实现，以编译反汇编规则和启发式方法。该反汇编器首先解析 ELF/PE 文件信息，并解码一组超集的潜在指令，以创建初始的 datalog 事实集。这些事实经过分析，用于识别 代码位置 、 符号化 以及 函数边界 。分析结果（即精炼后的 datalog 事实集）随后被转换为 GTIRB 中间表示，用于二进制分析和逆向工程。之后可使用 GTIRB pretty printer 将 GTIRB...