迈向两全其美的二进制反汇编器

现有反汇编工具要么闭源不透明，要么“跑完即弃”难以调整。Trail of Bits 开发的 Dr. Disassembler 基于 Datalog 引擎构建，兼顾透明性与可变性，支持代码/数据区分、函数边界恢复等任务的交互式修正与查询。