GrammaTech released ddisasm, a fast and accurate disassembler implemented using the Datalog declarative logic programming language (Soufflé). It parses ELF/PE files, decodes a superset of possible instructions, and uses Datalog rules to identify code locations, symbolization, and function boundaries with enough accuracy for reassembly.
Background
Disassemblers like IDA Pro, Ghidra, and radare2 are essential tools in reverse engineering and binary analysis. GrammaTech is known for its code analysis and verification tools, and this project applies declarative logic programming to the disassembly problem.
- Source
- Lobsters
- Published
- Aug 9, 2026 at 07:28 PM
- Score
- 6.0 / 10