Repositories list

• bap

  Public
  Binary Analysis Platform

  emulatorsecurityarm+ 16mipsstatic-analysisreverse-engineeringdisassemblersymbolic-executionx86dynamic-analysis+ 9

  OCaml

  •

  MIT License

  •273•2.1k•39•9•Updated Aug 14, 2024Aug 14, 2024

• bap-toolkit

  Public
  A collection of ready to use binary analysis tools

  bap

  HTML

  •

  MIT License

  •14•55•7•0•Updated Feb 20, 2024Feb 20, 2024

• qemu

  Public
  Official QEMU mirror

  C

  •

  Other

  •5.6k•9•5•2•Updated Dec 14, 2023Dec 14, 2023

• bap-frames

  Public
  Store and read traces in Protobuf

  OCaml

  •

  MIT License

  •11•19•0•0•Updated Dec 1, 2023Dec 1, 2023

• bap-python

  Public
  BAP python bindings

  pythonreverse-engineeringbap+ 2program-analysisprogram-verification

  Python

  •

  MIT License

  •12•20•4•0•Updated Dec 1, 2023Dec 1, 2023

• opam-repository

  Public
  BAP Rolling Release OPAM repository

  opam-repositorybap

  Shell

  •1.1k•2•0•0•Updated Jun 21, 2023Jun 21, 2023

• binaryanalysisplatform.github.io

  Public
  The BAP Blog

  blogdocsbap

  HTML

  •10•10•1•0•Updated Jan 7, 2023Jan 7, 2023

• bap-testsuite

  Public
  BAP test suite

  bapdejagnu-framework

  C

  •5•2•0•0•Updated Jan 6, 2023Jan 6, 2023

• bap-tutorial

  Public
  The BAP tutorial

  docstutorialbap

  Python

  •

  MIT License

  •9•72•0•0•Updated Dec 15, 2022Dec 15, 2022

• FrontC

  Public
  An OCaml library providing a C parser and lexer

  OCaml

  •

  GNU Lesser General Public License v2.1

  •13•39•5•1•Updated Nov 21, 2022Nov 21, 2022

• bap-bindings

  Public
  C Bindings to BAP

  reverse-engineeringbapbinary-analysis

  OCaml

  •

  MIT License

  •9•15•3•0•Updated Jul 13, 2022Jul 13, 2022

• bap-veri

  Public
  bil verification tool

  OCaml

  •4•12•0•0•Updated Jun 30, 2022Jun 30, 2022

• bap-ida-python

  Public
  integration with IDA

  pythonpython-3bap+ 1ida

  Python

  •

  MIT License

  •31•90•1•0•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

  •1•2•1•0•Updated Jan 4, 2021Jan 4, 2021

• holmes

  Public
  Rust

  •

  MIT License

  •4•1•0•0•Updated Nov 20, 2020Nov 20, 2020

• bap-plugins

  Public
  BAP Plugins Repository

  OCaml

  •

  MIT License

  •15•57•3•0•Updated Nov 20, 2020Nov 20, 2020

• ppx_bap

  Public
  The set of ppx rewriters for BAP

  Makefile

  •

  MIT License

  •0•4•0•0•Updated Nov 6, 2020Nov 6, 2020

• bap-mode

  Public
  An Emacs major mode for BAP's intermediate language

  emacsemacs-lispbap+ 1intermediate-language

  Emacs Lisp

  •

  MIT License

  •3•4•0•1•Updated Jul 10, 2020Jul 10, 2020

• oasis

  Public
  Cabal like system for OCaml

  OCaml

  •

  Other

  •45•0•0•0•Updated Jan 28, 2020Jan 28, 2020

• bap-pintraces

  Public
  C

  •9•19•5•0•Updated Dec 19, 2019Dec 19, 2019

• core-lwt

  Public
  Lwt in Janestreet's Core style

  OCaml

  •

  Other

  •4•6•1•0•Updated Sep 12, 2019Sep 12, 2019

• bap-artifacts

  Public
  A collection of artifacts for binary analysis

  Dockerfile

  •0•1•0•0•Updated Jul 8, 2019Jul 8, 2019

• bap-server

  Public
  bap RPC server

  OCaml

  •

  MIT License

  •4•2•1•0•Updated Apr 5, 2019Apr 5, 2019

• bil

  Public
  A formal specification for BIL

  TeX

  •7•12•1•0•Updated Oct 5, 2018Oct 5, 2018

• ppxlib_ocamlbuild

  Public
  OCamlbuild plugin for ppxlib, previously included in-box

  OCaml

  •

  Apache License 2.0

  •0•0•0•0•Updated May 11, 2018May 11, 2018

• x86_64-binaries

  Public
  Shell

  •12•3•0•0•Updated Mar 12, 2018Mar 12, 2018

• deprecated-qemu-tracer

  Public archive
  C

  •

  Other

  •4•7•0•1•Updated Oct 23, 2015Oct 23, 2015

• x86-binaries

  Public
  Python

  •8•3•0•0•Updated Apr 1, 2015Apr 1, 2015

• arm-binaries

  Public
  test artifacts for ARM platform

  4•6•0•0•Updated Nov 23, 2014Nov 23, 2014