Datalog Disassembly

1 · The Soufflé Project · Aug. 12, 2019, 2 p.m.
A fast disassembler/binary translator for x86-binaries has been developed by GrammaTech using Soufflé and open-sourced under the GNU Affero General Public License v3.0. The source code can be found on github. The disassembler parses ELF files and translates the binary to a symbolic representation exposing control-flow and data-flow dependencies. Antonio Flores-Montoya and Eric Schulte have written a technical report summarising the work and have published the work on Arxiv.org. The title, l...