Skip to content
@binrats

Binrats

Binary verification and ratification

Popular repositories Loading

  1. ddisasm ddisasm Public

    Forked from GrammaTech/ddisasm

    A fast and accurate disassembler

    C++ 1

  2. gtirb-pprinter gtirb-pprinter Public

    Forked from GrammaTech/gtirb-pprinter

    Pretty printer from GTIRB to assembly code

    C++

  3. gtirb gtirb Public

    Forked from GrammaTech/gtirb

    Intermediate Representation for Binary analysis and transformation

    C++

  4. souffle souffle Public

    Forked from souffle-lang/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.

    C++

Repositories

Showing 4 of 4 repositories

Top languages

Loading…

Most used topics

Loading…