package bap

  1. Overview
  2. No Docs
Binary Analysis Platform

Install

Dune Dependency

Authors

Maintainers

Sources

v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f

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 the default set of BAP packages, See also [bap-extra].

Published: 14 Jul 2022

Dev Dependencies

None

Used by (6)

  1. bap-extra >= "2.5.0"
  2. bap-ida-plugin >= "2.0.0" & < "2.2.0" | >= "2.5.0"
  3. bap-ida-python = "2.1.0"
  4. bap-veri >= "0.2.5"
  5. clp_operations
  6. cwe_checker < "0.3"

Conflicts

None

OCaml

Innovation. Community. Security.