Binrats

Binary verification and ratification

Pinned Repositories

ddisasm
A fast and accurate disassembler
Language:C++01
gtirb
Intermediate Representation for Binary analysis and transformation
Language:C++0 1 00
gtirb-pprinter
Pretty printer from GTIRB to assembly code
Language:C++0 1 00
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++0 1 00

Binrats's Repositories

binrats/ddisasm
A fast and accurate disassembler
Language:C++01
binrats/gtirb
Intermediate Representation for Binary analysis and transformation
Language:C++0 1 00
binrats/gtirb-pprinter
Pretty printer from GTIRB to assembly code
Language:C++0 1 00
binrats/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++0 1 00