GrammaTech发布了ddisasm，这是一个基于Datalog声明式逻辑编程语言（Soufflé）实现的高速高精度反汇编器。它解析ELF/PE文件，解码指令超集，并通过Datalog规则识别代码位置、符号化和函数边界，精度足以支持重新汇编。
背景
IDA Pro、Ghidra和radare2等反汇编器是逆向工程和二进制分析中的关键工具。GrammaTech以其代码分析和验证工具闻名，该项目将声明式逻辑编程应用于反汇编领域。
- 来源
- Lobsters
- 发布时间
- 2026年8月9日 19:28
- 评分
- 6.0 / 10