Repositories list

• ddisasm

  Public
  A fast and accurate disassembler

  C++

  •

  GNU Affero General Public License v3.0

  •61•0•0•0•Updated May 21, 2020May 21, 2020

• gtirb-pprinter

  Public
  Pretty printer from GTIRB to assembly code

  C++

  •

  MIT License

  •11•0•0•0•Updated May 15, 2020May 15, 2020

• gtirb

  Public
  Intermediate Representation for Binary analysis and transformation

  C++

  •

  MIT License

  •37•0•0•0•Updated May 15, 2020May 15, 2020

• souffle

  Public
  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.

  C++

  •

  Universal Permissive License v1.0

  •208•0•0•0•Updated Apr 28, 2020Apr 28, 2020