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
  • ddisasm Public Forked from GrammaTech/ddisasm

    A fast and accurate disassembler

    binrats/ddisasm’s past year of commit activity
    C++ 0 AGPL-3.0 66 0 0 Updated May 21, 2020
  • gtirb-pprinter Public Forked from GrammaTech/gtirb-pprinter

    Pretty printer from GTIRB to assembly code

    binrats/gtirb-pprinter’s past year of commit activity
    C++ 0 MIT 12 0 0 Updated May 15, 2020
  • gtirb Public Forked from GrammaTech/gtirb

    Intermediate Representation for Binary analysis and transformation

    binrats/gtirb’s past year of commit activity
    C++ 0 MIT 40 0 0 Updated May 15, 2020
  • 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.

    binrats/souffle’s past year of commit activity
    C++ 0 UPL-1.0 210 0 0 Updated Apr 28, 2020

Top languages

Loading…

Most used topics

Loading…