BinaryAnalysisPlatform

Repositories

• opam-repository

  Forked from ocaml/opam-repository

  Main public package repository for OPAM, the source package manager of OCaml.

  opam-repository bap
  Shell 727 2 0 0 Updated Jun 25, 2020

• bap

  Binary Analysis Platform

  emulator security arm mips static-analysis ocaml reverse-engineering
  OCaml 204 1,228 44 (10 issues need help) 9 Updated Jun 25, 2020

• bap-toolkit

  A collection of ready to use binary analysis tools

  bap
  HTML MIT 5 19 0 0 Updated Jun 23, 2020

• bap-testsuite

  BAP test suite

  bap dejagnu-framework
  C 4 1 0 1 Updated Jun 23, 2020

• bap-python

  BAP python bindings

  python reverse-engineering bap program-analysis program-verification
  Python MIT 10 10 1 1 Updated Jun 3, 2020

• binaryanalysisplatform.github.io

  The BAP Blog

  blog docs bap
  HTML 10 8 0 1 Updated May 29, 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 25 69 2 0 Updated May 29, 2020

• bap-tutorial

  The BAP tutorial

  docs tutorial bap
  Python MIT 6 49 0 0 Updated May 26, 2020

• bap-toolkit-manager

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

• bap-plugins

  BAP Plugins Repository
  OCaml MIT 13 47 3 0 Updated Jan 30, 2020

• oasis

  Forked from ocaml/oasis

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

• bap-mode

  An Emacs major mode for BAP's intermediate language

  emacs emacs-lisp bap intermediate-language
  Emacs Lisp MIT 2 7 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 1 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 3 2 2 0 Updated Jun 14, 2019

• bap-server

  bap RPC server
  OCaml MIT 4 1 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 2,818 3 0 0 Updated Oct 19, 2017

• holmes

  Forked from maurer/holmes
  Rust MIT 5 1 0 0 Updated Jun 3, 2016

• holmes-container
  C++ MIT 2 5 0 0 Updated Dec 14, 2015

• deprecated-qemu-tracer
  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

• viz

  BAP Visualizer
  2 1 1 0 Updated Feb 2, 2015

• deprecated-bap-lifter
  OCaml MIT 1 3 0 0 Updated Dec 12, 2014