GitHub repository: pgoodman/ddisasm
Primary language: C++
Description: Datalog driven disassembly of binary executables