https://github.com/binaryanalysisplatform/bap

Binary Analysis Platform

arm bap binary-analysis disassembler dynamic-analysis emulator instruction-semantics lifter mips ocaml powerpc program-analysis program-verification reverse-engineering security static-analysis symbolic-execution taint-analysis x86

Last synced: 14 May 2025

https://github.com/BinaryAnalysisPlatform/bap

Binary Analysis Platform

arm bap binary-analysis disassembler dynamic-analysis emulator instruction-semantics lifter mips ocaml powerpc program-analysis program-verification reverse-engineering security static-analysis symbolic-execution taint-analysis x86

Last synced: 20 Apr 2025

https://github.com/binaryanalysisplatform/bap-ida-python

integration with IDA

bap ida python python-3

Last synced: 02 Aug 2025

https://github.com/binaryanalysisplatform/bap-tutorial

The BAP tutorial

bap docs tutorial

Last synced: 07 May 2025

https://github.com/binaryanalysisplatform/bap-plugins

BAP Plugins Repository

Last synced: 17 Mar 2026

https://github.com/binaryanalysisplatform/bap-toolkit

A collection of ready to use binary analysis tools

bap

Last synced: 10 Aug 2025

https://github.com/binaryanalysisplatform/frontc

An OCaml library providing a C parser and lexer

Last synced: 07 May 2025

https://github.com/binaryanalysisplatform/bap-python

BAP python bindings

bap program-analysis program-verification python reverse-engineering

Last synced: 07 May 2025

https://github.com/binaryanalysisplatform/bap-frames

Store and read traces in Protobuf

Last synced: 27 Jul 2025

https://github.com/binaryanalysisplatform/bap-pintraces

Last synced: 07 Oct 2025

https://github.com/binaryanalysisplatform/bap-bindings

C Bindings to BAP

bap binary-analysis reverse-engineering

Last synced: 25 Jul 2025

https://github.com/binaryanalysisplatform/bil

A formal specification for BIL

Last synced: 21 Feb 2026

https://github.com/binaryanalysisplatform/bap-veri

bil verification tool

Last synced: 07 May 2025

https://github.com/binaryanalysisplatform/binaryanalysisplatform.github.io

The BAP Blog

bap blog docs

Last synced: 21 Jan 2026

https://github.com/binaryanalysisplatform/core-lwt

Lwt in Janestreet's Core style

Last synced: 09 Mar 2026

https://github.com/binaryanalysisplatform/bap-mode

An Emacs major mode for BAP's intermediate language

bap emacs emacs-lisp intermediate-language

Last synced: 23 Jul 2025

https://github.com/binaryanalysisplatform/ppx_bap

The set of ppx rewriters for BAP

Last synced: 07 May 2025

https://github.com/binaryanalysisplatform/bap-server

bap RPC server

Last synced: 07 May 2025

https://github.com/binaryanalysisplatform/bap-toolkit-manager

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

Last synced: 07 May 2025

https://github.com/binaryanalysisplatform/bap-testsuite

BAP test suite

bap dejagnu-framework

Last synced: 07 May 2025

https://github.com/binaryanalysisplatform/bap-artifacts

A collection of artifacts for binary analysis

Last synced: 24 Jan 2026

https://github.com/binaryanalysisplatform/ppxlib_ocamlbuild

OCamlbuild plugin for ppxlib, previously included in-box

Last synced: 07 May 2025