← All tools

bap

https://github.com/BinaryAnalysisPlatform/bap

Open Source

Categories

Reverse Engineering

Description

The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a suite of utilities and libraries that enables analysis of binary programs. BAP supports x86, x86-64, ARM, MIPS, PowerPC and new architectures can be added using plugins. BAP includes various analyses, standard interpreter, microexecution interpreter, and a symbolic executor. BAP features its own domain-specific language, [Primus Lisp][primus-lisp], that is used for implementing analyses, specifying verification conditions, mo

Keywords

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

Example Usage

wget https://github.com/BinaryAnalysisPlatform/bap/releases/download/v2.5.0/{bap,libbap,libbap-dev}_2.5.0.deb
sudo dpkg -i {bap,libbap,libbap-dev}_2.5.0.deb