Binary Analysis Platform

Core libraries

Foundation Libraries

Hardware Specific Libraries

Language and API/ABI Specific Libraries

Utility Libraries


The list of available plugins could be obtained using the bap list plugins command, here is the current list of on-line reference:

  abi                      apply abi information to a project
  api                      add parameters to subroutines based on known API
  arm                      provide ARM lifter
  beagle                   microx powered obfuscated string solver
  bil                      provides bil optimizations
  byteweight               find function starts using Byteweight algorithm
  cache                    provide caching services
  callsites                annotate callsites with subroutine's arguments
  constant-tracker         constant Tracking Analysis based on Primus
  cxxfilt                  provide c++filt based demangler
  demangle                 demangle subroutine names
  disassemble              implements the disassemble command
  dump-symbols             dump symbol information as a list of blocks
  elf-loader               read ELF and DWARF formats in a pure OCaml
  emit-ida-script          extract a IDA python script from bap
  frontc-parser            parse c files with FrontC
  ida                      use ida to provide rooter, symbolizer and reconstructor
  llvm                     provide loader and disassembler using LLVM library
  map-terms                map terms using BML DSL
  mc                       implements the mc command
  mips                     provide MIPS lifter
  objdump                  use objdump to provide a symbolizer
  optimization             automatically removes dead code and propagates consts
  phoenix                  output project information in a phoenix format
  piqi-printers            provides piqi serialization for main data types (BIL, IR)
  powerpc                  provide PowerPC lifter
  primus-dictionary        provides a key-value storage
  primus-exploring         evaluates all machines, prioritizing the least visited
  primus-greedy            evaluates all machines in the DFS order
  primus-limit             ensures termination by limiting Primus machines
  primus-lisp              install and load Primus lisp libraries
  primus-loader            generic program loader for Primus
  primus-mark-visited      marks terms that were visited by Primus
  primus-powerpc           powerpc support package
  primus-print             prints Primus states and observations
  primus-promiscuous       enables the promiscuous mode of execution
  primus-propagate-taint   a compatibility layer between different taint analysis frameworks
  primus-region            interval sets for Primus Lisp
  primus-round-robin       evaluates all machines in the BFS order
  primus-taint             a taint analysis control interface
  primus-test              primus Program Testing and Verification Kit
  primus-wandering         evaluates all machines while
  primus-x86               x86 support package
  print                    print project in various formats
  propagate-taint          propagate taints through a program
  raw                      provides a loader for raw binaries
  read-symbols             read symbol information from file
  recipe-command           manipulates bap recipes
  relocatable              provides facility to load relocatable files
  report                   reports program status
  run                      a pass that will run a program
  ssa                      translates a program into the SSA form
  strings                  find strings of characters
  taint                    taint specified terms
  trace                    manage execution traces
  trivial-condition-form   eliminates complex conditionals in branches
  warn-unused              warn about unused results of certain functions
  x86                      provide x86 lifter

Packages by name


  1. bap
  2. bap-abi
  3. bap-api
  4. bap-arm
  5. bap-beagle-prey
  6. bap-bml
  7. bap-bundle
  8. bap-byteweight
  9. bap-c
  10. bap-core-theory
  11. bap-demangle
  12. bap-dwarf
  13. bap-elementary
  14. bap-elf
  15. bap-future
  16. bap-ida
  17. bap-knowledge
  18. bap-llvm
  19. bap-main
  20. bap-plugins
  21. bap-primus
  22. bap-recipe
  23. bap-strings
  24. bap-taint
  25. bap-traces
  26. bap-x86-cpu
  27. base
  28. bin_prot
  29. bitvec
  30. bitvec-binprot
  31. bitvec-order
  32. bitvec-sexp


  1. core_kernel


  1. fieldslib


  1. graphlib


  1. monads


  1. ocaml
  2. ocaml-compiler-libs
  3. ocaml-migrate-parsetree
  4. ocamlgraph
  5. ogre


  1. parsexp
  2. ppx_assert
  3. ppx_bench
  4. ppx_compare
  5. ppx_expect
  6. ppx_hash
  7. ppx_inline_test
  8. ppx_sexp_conv
  9. ppxlib


  1. re
  2. regular
  3. result


  1. sexplib
  2. sexplib0
  3. splittable_random
  4. stdio


  1. text-tags
  2. typerep


  1. uri


  1. variantslib


  1. zarith

Packages by tag