BAP

BAP's repositories

Binary Analysis Platform

Language:OCamlMIT1972 91 487

bap-ida-python

integration with IDA

Language:PythonMIT89 14 10

bap-tutorial

The BAP tutorial

Language:PythonMIT70 11 4

bap-plugins

BAP Plugins Repository

Language:OCamlMIT57 21 8

bap-toolkit

A collection of ready to use binary analysis tools

Language:HTMLMIT53 10 10

FrontC

An OCaml library providing a C parser and lexer

Language:OCamlLGPL-2.136 8 22

bap-python

BAP python bindings

Language:PythonMIT20 5 7

bap-frames

Store and read traces in Protobuf

Language:OCamlMIT19 12 3

bap-pintraces

Language:C19 4 6

bap-bindings

C Bindings to BAP

Language:OCamlMIT15 9 8

bil

A formal specification for BIL

Language:TeX12 6 1

bap-veri

bil verification tool

Language:OCaml11 70

binaryanalysisplatform.github.io

The BAP Blog

Language:HTML10 13 1

qemu

Official QEMU mirror

Language:CNOASSERTION9 7 7

deprecated-qemu-tracer

Language:CNOASSERTION7 110

arm-binaries

test artifacts for ARM platform

6 70

core-lwt

Lwt in Janestreet's Core style

Language:OCamlNOASSERTION6 8 1

bap-mode

An Emacs major mode for BAP's intermediate language

Language:Emacs LispMIT4 30

ppx_bap

The set of ppx rewriters for BAP

Language:MakefileMIT4 40

x86-binaries

Language:Python3 70

x86_64-binaries

Language:Shell3 70

bap-server

bap RPC server

Language:OCamlMIT2 8 1

bap-testsuite

BAP test suite

Language:C2 70

bap-toolkit-manager

provides an easy way to run bap against variety of artifacts and analysis

Language:OCamlMIT2 3 1

opam-repository

BAP Rolling Release OPAM repository

Language:Shell2 60

bap-artifacts

A collection of artifacts for binary analysis

Language:Dockerfile1 30

holmes

Language:RustMIT1 80

oasis

Cabal like system for OCaml

Language:OCamlNOASSERTION020

ppxlib_ocamlbuild

OCamlbuild plugin for ppxlib, previously included in-box

Language:OCamlApache-2.0040