BAP

The Binary Analysis Platform

Carnegie Mellon University, Pittsburgh, PA, USA

Pinned Repositories

bap
Binary Analysis Platform
Language:OCaml2.1k 93 493273
bap-bindings
C Bindings to BAP
Language:OCaml15 9 89
bap-frames
Store and read traces in Protobuf
Language:OCaml19 13 311
bap-ida-python
integration with IDA
Language:Python90 14 1031
bap-plugins
BAP Plugins Repository
Language:OCaml57 21 815
bap-python
BAP python bindings
Language:Python20 5 712
bap-toolkit
A collection of ready to use binary analysis tools
Language:HTML55 10 1114
bap-tutorial
The BAP tutorial
Language:Python72 11 49
bil
A formal specification for BIL
Language:TeX12 6 17
FrontC
An OCaml library providing a C parser and lexer
Language:OCaml40 9 2314

BAP's Repositories

BinaryAnalysisPlatform/bap
Binary Analysis Platform
Language:OCaml2.1k 93 493273
BinaryAnalysisPlatform/bap-ida-python
integration with IDA
Language:Python90 14 1031
BinaryAnalysisPlatform/bap-tutorial
The BAP tutorial
Language:Python72 11 49
BinaryAnalysisPlatform/bap-plugins
BAP Plugins Repository
Language:OCaml57 21 815
BinaryAnalysisPlatform/bap-toolkit
A collection of ready to use binary analysis tools
Language:HTML55 10 1114
BinaryAnalysisPlatform/FrontC
An OCaml library providing a C parser and lexer
Language:OCaml40 9 2314
BinaryAnalysisPlatform/bap-python
BAP python bindings
Language:Python20 5 712
BinaryAnalysisPlatform/bap-frames
Store and read traces in Protobuf
Language:OCaml19 13 311
BinaryAnalysisPlatform/bap-pintraces
Language:C19 4 69
BinaryAnalysisPlatform/bap-bindings
C Bindings to BAP
Language:OCaml15 9 89
BinaryAnalysisPlatform/bap-veri
bil verification tool
Language:OCaml12 7 04
BinaryAnalysisPlatform/bil
A formal specification for BIL
Language:TeX12 6 17
BinaryAnalysisPlatform/binaryanalysisplatform.github.io
The BAP Blog
Language:HTML10 13 110
BinaryAnalysisPlatform/qemu
Official QEMU mirror
Language:C9 7 712
BinaryAnalysisPlatform/deprecated-qemu-tracer
Language:C7 11 04
BinaryAnalysisPlatform/arm-binaries
test artifacts for ARM platform
6 7 02
BinaryAnalysisPlatform/core-lwt
Lwt in Janestreet's Core style
Language:OCaml6 8 14
BinaryAnalysisPlatform/bap-mode
An Emacs major mode for BAP's intermediate language
Language:Emacs Lisp4 3 03
BinaryAnalysisPlatform/ppx_bap
The set of ppx rewriters for BAP
Language:Makefile4 5 0
BinaryAnalysisPlatform/x86-binaries
Language:Python3 7 04
BinaryAnalysisPlatform/x86_64-binaries
Language:Shell3 7 04
BinaryAnalysisPlatform/bap-server
bap RPC server
Language:OCaml2 8 14
BinaryAnalysisPlatform/bap-testsuite
BAP test suite
Language:C2 7 05
BinaryAnalysisPlatform/bap-toolkit-manager
provides an easy way to run bap against variety of artifacts and analysis
Language:OCaml2 3 11
BinaryAnalysisPlatform/opam-repository
BAP Rolling Release OPAM repository
Language:Shell2 6 05
BinaryAnalysisPlatform/bap-artifacts
A collection of artifacts for binary analysis
Language:Dockerfile1 3 0
BinaryAnalysisPlatform/holmes
Language:Rust1 8 0
BinaryAnalysisPlatform/oasis
Cabal like system for OCaml
Language:OCaml2 0
BinaryAnalysisPlatform/ppxlib_ocamlbuild
OCamlbuild plugin for ppxlib, previously included in-box
Language:OCaml4 0