package bap-std

  1. Overview
  2. Docs
The Binary Analysis Platform Standard Library

Install

Dune Dependency

github.com Edit opam file Versions (13)

Authors

  1. B
    BAP Team

Maintainers

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

Sources

v2.1.0.tar.gz
md5=3db9deac8d429b9b8a8ec9aec54987b1

Description

Provides the main BAP library.

Published: 02 Jun 2020

Dependencies (27)

  1. mmap
  2. result
  3. monads
  4. ogre
  5. cmdliner >= "0.9.8"
  6. zarith
  7. uuidm
  8. utop build & >= "2.0.0"
  9. uri <= "3.1.0"
  10. regular
  11. ppx_jane >= "v0.12" & < "v0.13"
  12. ocamlfind >= "1.5.6" & < "2.0"
  13. oasis build & >= "0.4.7"
  14. graphlib = "2.1.0"
  15. fileutils
  16. bin_prot >= "v0.12" & < "v0.13"
  17. core_kernel >= "v0.12" & < "v0.13"
  18. camlzip >= "1.07"
  19. bap-plugins = "2.1.0"
  20. bap-main = "2.1.0"
  21. bap-bundle = "2.1.0"
  22. bap-core-theory = "2.1.0"
  23. bitvec = "2.1.0"
  24. bap-knowledge = "2.1.0"
  25. bap-future = "2.1.0"
  26. base-unix
  27. ocaml >= "4.07.0" & < "4.10.0"

Dev Dependencies

None

Used by (62)

  1. bap = "2.1.0"
  2. bap-abi = "2.1.0"
  3. bap-api = "2.1.0"
  4. bap-arm = "2.1.0"
  5. bap-beagle = "2.1.0"
  6. bap-bil = "2.1.0"
  7. bap-byteweight = "2.1.0"
  8. bap-byteweight-frontend = "2.1.0"
  9. bap-c = "2.1.0"
  10. bap-cache = "2.1.0"
  11. bap-callsites = "2.1.0"
  12. bap-constant-tracker = "2.1.0"
  13. bap-cxxfilt = "2.1.0"
  14. bap-demangle = "2.1.0"
  15. bap-disassemble = "2.1.0"
  16. bap-dump-symbols = "2.1.0"
  17. bap-dwarf = "2.1.0"
  18. bap-elementary = "2.1.0"
  19. bap-elf = "2.1.0"
  20. bap-frames != "2.1.1"
  21. bap-frontc = "2.1.0"
  22. bap-frontend = "2.1.0"
  23. bap-glibc-runtime < "2.2.0"
  24. bap-llvm = "2.1.0"
  25. bap-mc = "2.1.0"
  26. bap-microx = "2.1.0"
  27. bap-mips = "2.1.0"
  28. bap-objdump = "2.1.0"
  29. bap-optimization = "2.1.0"
  30. bap-phoenix = "2.1.0"
  31. bap-piqi = "2.1.0"
  32. bap-primus = "2.1.0"
  33. bap-primus-dictionary = "2.1.0"
  34. bap-primus-lisp = "2.1.0"
  35. bap-primus-powerpc = "2.1.0"
  36. bap-primus-random < "2.2.0"
  37. bap-primus-region = "2.1.0"
  38. bap-primus-support = "2.1.0"
  39. bap-primus-symbolic-executor < "2.2.0"
  40. bap-primus-systems < "2.2.0"
  41. bap-primus-test = "2.1.0"
  42. bap-primus-x86 = "2.1.0"
  43. bap-print = "2.1.0"
  44. bap-raw = "2.1.0"
  45. bap-recipe-command = "2.1.0"
  46. bap-relocatable = "2.1.0"
  47. bap-report = "2.1.0"
  48. bap-run = "2.1.0"
  49. bap-saluki >= "bap-1.6"
  50. bap-ssa = "2.1.0"
  51. bap-stub-resolver < "2.2.0"
  52. bap-symbol-reader = "2.1.0"
  53. bap-taint = "2.1.0"
  54. bap-taint-propagator = "2.1.0"
  55. bap-term-mapper = "2.1.0"
  56. bap-trace = "2.1.0"
  57. bap-traces = "2.1.0"
  58. bap-trivial-condition-form = "2.1.0"
  59. bap-veri = "0.2.4"
  60. bap-warn-unused = "2.1.0"
  61. bap-x86 = "2.1.0"
  62. fkie-cad-cwe-checker < "0.2"

Conflicts (2)

  1. jbuilder = "1.0+beta18"
  2. fileutils = "0.5.0"