package bap

  1. Overview
  2. No Docs
Binary Analysis Platform

Install

Dune Dependency

github.com Edit opam file Versions (22)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.0.0.tar.gz
sha256=0d1da6bed63b24ccccbee86d7ef594ee09b4124992b9ca82a314d3df09cc172b
md5=d2fd697735fda1adb80d6aa5643e7acd

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: 18 Nov 2019

Dependencies (60)

  1. bap-emacs-goodies
  2. bap-x86 = "2.0.0"
  3. bap-warn-unused = "2.0.0"
  4. bap-trivial-condition-form = "2.0.0"
  5. bap-traces = "2.0.0"
  6. bap-trace = "2.0.0"
  7. bap-term-mapper = "2.0.0"
  8. bap-taint-propagator = "2.0.0"
  9. bap-taint = "2.0.0"
  10. bap-symbol-reader = "2.0.0"
  11. bap-strings = "2.0.0"
  12. bap-std = "2.0.0"
  13. bap-ssa = "2.0.0"
  14. bap-run = "2.0.0"
  15. bap-report = "2.0.0"
  16. bap-relocatable = "2.0.0"
  17. bap-recipe-command = "2.0.0"
  18. bap-recipe = "2.0.0"
  19. bap-raw = "2.0.0"
  20. bap-print = "2.0.0"
  21. bap-primus-x86 = "2.0.0"
  22. bap-primus-test = "2.0.0"
  23. bap-primus-support = "2.0.0"
  24. bap-primus-region = "2.0.0"
  25. bap-primus-powerpc = "2.0.0"
  26. bap-primus-lisp = "2.0.0"
  27. bap-primus-dictionary = "2.0.0"
  28. bap-primus = "2.0.0"
  29. bap-powerpc = "2.0.0"
  30. bap-plugins = "2.0.0"
  31. bap-optimization = "2.0.0"
  32. bap-objdump = "2.0.0"
  33. bap-mips = "2.0.0"
  34. bap-microx = "2.0.0"
  35. bap-mc = "2.0.0"
  36. bap-main = "2.0.0"
  37. bap-llvm = "2.0.0"
  38. bap-knowledge = "2.0.0"
  39. bap-frontc = "2.0.0"
  40. bap-frontend = "2.0.0"
  41. bap-elf = "2.0.0"
  42. bap-elementary = "2.0.0"
  43. bap-dump-symbols = "2.0.0"
  44. bap-disassemble = "2.0.0"
  45. bap-demangle = "2.0.0"
  46. bap-core-theory = "2.0.0"
  47. bap-constant-tracker = "2.0.0"
  48. bap-callsites = "2.0.0"
  49. bap-cxxfilt = "2.0.0"
  50. bap-cache = "2.0.0"
  51. bap-c = "2.0.0"
  52. bap-byteweight = "2.0.0"
  53. bap-bundle = "2.0.0"
  54. bap-build = "2.0.0"
  55. bap-bil = "2.0.0"
  56. bap-beagle = "2.0.0"
  57. bap-arm = "2.0.0"
  58. bap-api = "2.0.0"
  59. bap-abi = "2.0.0"
  60. ocaml >= "4.04.1" & < "4.08.0"

Dev Dependencies

None

Used by (4)

  1. bap-ida-plugin >= "2.0.0" & < "2.2.0"
  2. bap-ida-python >= "2.0.0" & < "2.2.0"
  3. clp_operations
  4. cwe_checker < "0.3"

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct