Pinned repositories

  1. bap

    Binary Analysis Platform

    OCaml 688 137

  2. bil

    A formal specification for BIL

    TeX 4 5

  3. bap-tutorial

    The BAP tutorial

    Python 24 2

  4. bap-python

    BAP python bindings

    Python 4 8

  5. bap-bindings

    C Bindings to BAP

    OCaml 8 4

  • A formal specification for BIL

    TeX 4 5 Updated Jul 16, 2018
  • Binary Analysis Platform

    OCaml 688 137 3 issues need help Updated Jun 27, 2018
  • BAP python bindings

    Python 4 8 MIT Updated Jun 4, 2018
  • BAP test suite

    C 5 Updated May 23, 2018
  • The BAP Blog

    HTML 6 7 Updated May 17, 2018
  • integration with IDA

    Python 35 13 MIT Updated May 16, 2018
  • OCamlbuild plugin for ppxlib, previously included in-box

    OCaml Apache-2.0 Updated May 11, 2018
  • BAP Plugins Repository

    OCaml 21 11 MIT Updated Mar 19, 2018
  • Main public package repository for OPAM, the source package manager of OCaml.

    OCaml 2 544 Updated Mar 16, 2018
  • Shell 2 8 Updated Mar 12, 2018
  • Lwt in Janestreet's Core style

    OCaml 3 2 Updated Mar 5, 2018
  • C Bindings to BAP

    OCaml 8 4 MIT Updated Mar 1, 2018
  • bap RPC server

    OCaml 1 4 MIT Updated Feb 21, 2018
  • Store and read traces in Protobuf

    OCaml 11 7 MIT Updated Feb 20, 2018
  • bil verification tool

    OCaml 3 4 Updated Feb 20, 2018
  • qemu

    Forked from qemu/qemu

    Official QEMU mirror

    C 3 1,823 Updated Oct 19, 2017
  • The BAP tutorial

    Python 24 2 MIT Updated Oct 3, 2017
  • C++ 13 6 Updated Jul 8, 2016
  • holmes

    Forked from maurer/holmes
    Rust 1 4 MIT Updated Jun 3, 2016
  • C++ 5 2 MIT Updated Dec 14, 2015
  • C 7 3 Updated Oct 23, 2015
  • Python 2 7 Updated Apr 1, 2015
  • BAP Visualizer

    1 3 Updated Feb 2, 2015
  • OCaml 3 1 MIT Updated Dec 12, 2014
  • OCaml 5 1 Updated Dec 12, 2014
  • OCaml 7 1 MIT Updated Dec 12, 2014
  • OCaml 12 1 Updated Dec 12, 2014
  • test artifacts for ARM platform

    4 4 Updated Nov 23, 2014
  • Puppet 7 2 Updated Oct 8, 2014