BAP

Repositories

binaryanalysisplatform.github.io

The BAP Blog

blog docs bap

HTML 10 8 0 0 Updated Aug 8, 2020

bap

Binary Analysis Platform

emulator security arm mips static-analysis ocaml reverse-engineering

OCaml 209 1,257 48 (10 issues need help) 9 Updated Aug 7, 2020

bap-testsuite

BAP test suite

bap dejagnu-framework

C 4 1 0 0 Updated Aug 7, 2020

opam-repository

Forked from ocaml/opam-repository

BAP Rolling Release OPAM repository

opam-repository bap

Shell 738 2 0 1 Updated Aug 7, 2020

bap-toolkit

A collection of ready to use binary analysis tools

bap

HTML MIT 6 20 0 0 Updated Jul 24, 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-python

BAP python bindings

python reverse-engineering bap program-analysis program-verification

Python MIT 10 11 1 1 Updated Jun 3, 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 50 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 48 3 0 Updated Jan 30, 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 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 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 2,898 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