Repositories list

• qemu

  Public
  Official QEMU mirror

  C

  •

  Other

  •6.7k6.7k forks•99 stars•33 issues•00 pull requests•Updated Oct 24, 2025Oct 24, 2025

• bap-frames

  Public
  Store and read traces in Protobuf

  OCaml

  •

  MIT License

  •1111 forks•2020 stars•00 issues•00 pull requests•Updated Oct 21, 2025Oct 21, 2025

• bap

  Public
  Binary Analysis Platform

  emulatorsecurityarm+ 16

  emulatorsecurityarmmipsstatic-analysisocamlreverse-engineeringdisassemblersymbolic-executionbap+ 9

  OCaml

  •

  MIT License

  •283283 forks•2.2k2.2k stars•3030 issues•1212 pull requests•Updated Apr 30, 2025Apr 30, 2025

• opam-repository

  Public
  BAP Rolling Release OPAM repository

  opam-repositorybap

  opam-repositorybap

  Shell

  •1.2k1.2k forks•22 stars•00 issues•00 pull requests•Updated Apr 22, 2025Apr 22, 2025

• ppx_bap

  Public
  The set of ppx rewriters for BAP

  Makefile

  •

  MIT License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Mar 14, 2025Mar 14, 2025

• FrontC

  Public
  An OCaml library providing a C parser and lexer

  OCaml

  •

  GNU Lesser General Public License v2.1

  •1414 forks•4242 stars•55 issues•00 pull requests•Updated Nov 8, 2024Nov 8, 2024

• bap-toolkit

  Public
  A collection of ready to use binary analysis tools

  bap

  bap

  HTML

  •

  MIT License

  •1414 forks•6161 stars•77 issues•00 pull requests•Updated Feb 20, 2024Feb 20, 2024

• bap-python

  Public
  BAP python bindings

  pythonreverse-engineeringbap+ 2

  pythonreverse-engineeringbapprogram-analysisprogram-verification

  Python

  •

  MIT License

  •1212 forks•2323 stars•44 issues•00 pull requests•Updated Dec 1, 2023Dec 1, 2023

• binaryanalysisplatform.github.io

  Public
  The BAP Blog

  blogdocsbap

  blogdocsbap

  HTML

  •99 forks•1010 stars•11 issue•00 pull requests•Updated Jan 7, 2023Jan 7, 2023

• bap-testsuite

  Public
  BAP test suite

  bapdejagnu-framework

  bapdejagnu-framework

  C

  •55 forks•22 stars•00 issues•00 pull requests•Updated Jan 6, 2023Jan 6, 2023

• bap-tutorial

  Public
  The BAP tutorial

  docstutorialbap

  docstutorialbap

  Python

  •

  MIT License

  •99 forks•7373 stars•00 issues•00 pull requests•Updated Dec 15, 2022Dec 15, 2022

• bap-bindings

  Public
  C Bindings to BAP

  reverse-engineeringbapbinary-analysis

  reverse-engineeringbapbinary-analysis

  OCaml

  •

  MIT License

  •99 forks•1616 stars•33 issues•00 pull requests•Updated Jul 13, 2022Jul 13, 2022

• bap-veri

  Public
  bil verification tool

  OCaml

  •44 forks•1212 stars•00 issues•00 pull requests•Updated Jun 30, 2022Jun 30, 2022

• bap-ida-python

  Public
  integration with IDA

  pythonbapida+ 1

  pythonbapidapython-3

  Python

  •

  MIT License

  •3030 forks•9595 stars•11 issue•00 pull requests•Updated May 27, 2021May 27, 2021

• bap-toolkit-manager

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

  OCaml

  •

  MIT License

  •11 fork•33 stars•11 issue•00 pull requests•Updated Jan 4, 2021Jan 4, 2021

• holmes

  Public
  Rust

  •

  MIT License

  •44 forks•11 star•00 issues•00 pull requests•Updated Nov 20, 2020Nov 20, 2020

• bap-plugins

  Public
  BAP Plugins Repository

  OCaml

  •

  MIT License

  •1313 forks•5858 stars•33 issues•00 pull requests•Updated Nov 20, 2020Nov 20, 2020

• bap-mode

  Public
  An Emacs major mode for BAP's intermediate language

  emacsemacs-lispbap+ 1

  emacsemacs-lispbapintermediate-language

  Emacs Lisp

  •

  MIT License

  •33 forks•55 stars•00 issues•00 pull requests•Updated Jul 10, 2020Jul 10, 2020

• oasis

  Public
  Cabal like system for OCaml

  OCaml

  •

  Other

  •4242 forks•00 stars•00 issues•00 pull requests•Updated Jan 28, 2020Jan 28, 2020

• bap-pintraces

  Public
  C

  •99 forks•1919 stars•55 issues•00 pull requests•Updated Dec 19, 2019Dec 19, 2019

• core-lwt

  Public
  Lwt in Janestreet's Core style

  OCaml

  •

  Other

  •44 forks•66 stars•11 issue•00 pull requests•Updated Sep 12, 2019Sep 12, 2019

• bap-artifacts

  Public
  A collection of artifacts for binary analysis

  Dockerfile

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 8, 2019Jul 8, 2019

• bap-server

  Public
  bap RPC server

  OCaml

  •

  MIT License

  •44 forks•33 stars•11 issue•00 pull requests•Updated Apr 5, 2019Apr 5, 2019

• bil

  Public
  A formal specification for BIL

  TeX

  •77 forks•1414 stars•11 issue•11 pull request•Updated Oct 5, 2018Oct 5, 2018

• ppxlib_ocamlbuild

  Public
  OCamlbuild plugin for ppxlib, previously included in-box

  OCaml

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 11, 2018May 11, 2018

• x86_64-binaries

  Public
  Shell

  •1212 forks•33 stars•00 issues•00 pull requests•Updated Mar 12, 2018Mar 12, 2018

• deprecated-qemu-tracer

  Public archive
  C

  •

  Other

  •44 forks•77 stars•00 issues•11 pull request•Updated Oct 23, 2015Oct 23, 2015

• x86-binaries

  Public
  Python

  •88 forks•33 stars•00 issues•00 pull requests•Updated Apr 1, 2015Apr 1, 2015

• arm-binaries

  Public
  test artifacts for ARM platform

  44 forks•55 stars•00 issues•00 pull requests•Updated Nov 23, 2014Nov 23, 2014