package bap
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7cf5548bfaafd20ed17d29b0e8967fb46a26d153d47c5005e65f6becd608d11c
md5=b7785715c24645e8e69a8091427d090e
Description
The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a reverse engineering and program analysis platform that works with binary code and doesn't require the source code. BAP supports multiple architectures: ARM, x86, x86-64, PowerPC, and MIPS. BAP disassembles and lifts binary code into the RISC-like BAP Instruction Language (BIL). Program analysis is performed using the BIL representation and is architecture independent in a sense that it will work equally well for all supported architectures. The main purpose of BAP is to provide a toolkit for implementing automated program analysis. BAP is written in OCaml and it is the preferred language to write analysis, but we have bindings to C, Python and Rust. The Primus Framework also provide a Lisp-like DSL for writing program analysis tools.
This is a meta package that installs essential parts of BAP.
Published: 13 Mar 2018
Dependencies (44)
-
bap-x86
= "1.4.0" -
bap-warn-unused
= "1.4.0" -
bap-trivial-condition-form
= "1.4.0" -
bap-traces
= "1.4.0" -
bap-trace
= "1.4.0" -
bap-term-mapper
= "1.4.0" -
bap-taint-propagator
= "1.4.0" -
bap-taint
= "1.4.0" -
bap-symbol-reader
= "1.4.0" -
bap-strings
= "1.4.0" -
bap-std
= "1.4.0" -
bap-ssa
= "1.4.0" -
bap-run
= "1.4.0" -
bap-report
= "1.4.0" -
bap-relocatable
= "1.4.0" -
bap-print
= "1.4.0" -
bap-primus-x86
= "1.4.0" -
bap-primus-test
= "1.4.0" -
bap-primus-support
= "1.4.0" -
bap-primus-region
= "1.4.0" -
bap-primus-lisp
= "1.4.0" -
bap-primus-dictionary
= "1.4.0" -
bap-primus
= "1.4.0" -
bap-powerpc
= "1.4.0" -
bap-objdump
= "1.4.0" -
bap-mips
= "1.4.0" -
bap-microx
= "1.4.0" -
bap-mc
= "1.4.0" -
bap-llvm
= "1.4.0" -
bap-frontc
= "1.4.0" -
bap-frontend
= "1.4.0" -
bap-dump-symbols
= "1.4.0" -
bap-dead-code-elimination
= "1.4.0" -
bap-demangle
= "1.4.0" -
bap-callsites
= "1.4.0" -
bap-cxxfilt
= "1.4.0" -
bap-cache
= "1.4.0" -
bap-c
= "1.4.0" -
bap-byteweight
= "1.4.0" -
bap-beagle
= "1.4.0" -
bap-arm
= "1.4.0" -
bap-api
= "1.4.0" -
bap-abi
= "1.4.0" -
ocaml
>= "4.03" & < "4.06"
Dev Dependencies
None
Used by (4)
-
bap-ida-plugin
= "1.4.0" | >= "2.0.0" & < "2.2.0" -
bap-ida-python
= "1.4.0" | = "2.1.0" -
bap-server
= "0.2.0" - clp_operations
Conflicts
None