BAP

Repositories

• bap

  Binary Analysis Platform

  emulator security arm mips static-analysis ocaml reverse-engineering
  OCaml 219 1,318 30 (9 issues need help) 6 Updated Nov 23, 2020

• holmes

  Forked from maurer/holmes
  Rust MIT 5 1 0 0 Updated Nov 20, 2020

• bap-plugins

  BAP Plugins Repository
  OCaml MIT 13 46 3 0 Updated Nov 20, 2020

• bap-toolkit-manager

  provides an easy way to run bap against variety of artifacts and analysis
  OCaml 1 2 1 0 Updated Nov 20, 2020

• bap-toolkit

  A collection of ready to use binary analysis tools

  bap
  HTML MIT 6 23 0 0 Updated Nov 20, 2020

• bap-python

  BAP python bindings

  python reverse-engineering bap program-analysis program-verification
  Python MIT 11 11 2 1 Updated Nov 18, 2020

• opam-repository

  Forked from ocaml/opam-repository

  BAP Rolling Release OPAM repository

  opam-repository bap
  Shell 766 2 0 0 Updated Nov 9, 2020

• binaryanalysisplatform.github.io

  The BAP Blog

  blog docs bap
  HTML 10 8 0 0 Updated Nov 7, 2020

• ppx_bap

  The set of ppx rewriters for BAP
  Makefile MIT 0 4 0 0 Updated Nov 6, 2020

• bap-testsuite

  BAP test suite

  bap dejagnu-framework
  C 4 2 0 0 Updated Oct 20, 2020

• bap-mode

  An Emacs major mode for BAP's intermediate language

  emacs emacs-lisp bap intermediate-language
  Emacs Lisp MIT 3 7 0 1 Updated Jul 10, 2020

• bap-veri

  bil verification tool
  OCaml 3 8 0 1 Updated May 29, 2020

• bap-ida-python

  integration with IDA

  python bap ida python-3
  Python MIT 26 70 2 0 Updated May 29, 2020

• bap-tutorial

  The BAP tutorial

  docs tutorial bap
  Python MIT 7 53 0 0 Updated May 26, 2020

• oasis

  Forked from ocaml/oasis

  Cabal like system for OCaml
  OCaml 40 0 0 0 Updated Jan 28, 2020

• bap-pintraces
  C 9 13 5 0 Updated Dec 19, 2019

• bap-bindings

  C Bindings to BAP

  reverse-engineering bap binary-analysis
  OCaml MIT 6 11 1 0 Updated Nov 15, 2019

• core-lwt

  Lwt in Janestreet's Core style
  OCaml 5 6 1 1 Updated Sep 12, 2019

• bap-artifacts

  A collection of artifacts for binary analysis
  Dockerfile 0 0 0 0 Updated Jul 8, 2019

• FrontC

  An OCaml library providing a C parser and lexer
  OCaml LGPL-2.1 4 3 2 0 Updated Jun 14, 2019

• bap-server

  bap RPC server
  OCaml MIT 4 2 1 0 Updated Apr 5, 2019

• bap-frames

  Store and read traces in Protobuf
  OCaml MIT 6 14 1 0 Updated Apr 5, 2019

• bil

  A formal specification for BIL
  TeX 7 10 0 0 Updated Oct 5, 2018

• ppxlib_ocamlbuild

  OCamlbuild plugin for ppxlib, previously included in-box
  OCaml Apache-2.0 0 0 0 0 Updated May 11, 2018

• x86_64-binaries

  Forked from tiffanyb/x86_64-binaries
  Shell 9 2 0 0 Updated Mar 12, 2018

• qemu

  Forked from qemu/qemu

  Official QEMU mirror
  C 3,049 3 0 0 Updated Oct 19, 2017

• deprecated-qemu-tracer Archived
  C 4 7 0 1 Updated Oct 23, 2015

• x86-binaries

  Forked from tiffanyb/x86-binaries
  Python 8 2 0 0 Updated Apr 1, 2015

• arm-binaries

  Forked from tiffanyb/ARM-test

  test artifacts for ARM platform
  4 5 0 0 Updated Nov 23, 2014