package bap-std

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

Install

Dune Dependency

Authors

Maintainers

Sources

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

Description

Provides the main BAP library.

Published: 14 Jul 2022

Dependencies (36)

  1. conf-binutils
  2. conf-perl
  3. conf-m4
  4. conf-clang
  5. conf-zlib
  6. conf-gmp
  7. conf-which build
  8. mmap
  9. result
  10. monads = "2.5.0"
  11. ogre = "2.5.0"
  12. cmdliner >= "0.9.8"
  13. zarith
  14. uuidm
  15. utop build & >= "2.0.0"
  16. uri
  17. regular = "2.5.0"
  18. ppx_bap
  19. ocamlfind >= "1.5.6" & < "2.0"
  20. oasis build & >= "0.4.7"
  21. graphlib = "2.5.0"
  22. fileutils
  23. bin_prot >= "v0.14" & < "v0.16"
  24. core_kernel >= "v0.14" & < "v0.16"
  25. camlzip >= "1.07"
  26. bap-relation = "2.5.0"
  27. bap-plugins = "2.5.0"
  28. bap-main = "2.5.0"
  29. bap-bundle = "2.5.0"
  30. bap-core-theory = "2.5.0"
  31. bitvec-order = "2.5.0"
  32. bitvec = "2.5.0"
  33. bap-knowledge = "2.5.0"
  34. bap-future = "2.5.0"
  35. base-unix
  36. ocaml >= "4.08.0"

Dev Dependencies

None

Used by (87)

  1. bap-abi >= "2.5.0"
  2. bap-analyze >= "2.5.0"
  3. bap-api >= "2.5.0"
  4. bap-arm >= "2.5.0"
  5. bap-beagle >= "2.5.0"
  6. bap-beagle-strings >= "2.5.0"
  7. bap-bil >= "2.5.0"
  8. bap-byteweight >= "2.5.0"
  9. bap-byteweight-frontend >= "2.5.0"
  10. bap-c >= "2.5.0"
  11. bap-cache >= "2.5.0"
  12. bap-callgraph-collator >= "2.5.0"
  13. bap-callsites >= "2.5.0"
  14. bap-constant-tracker >= "2.5.0"
  15. bap-core >= "2.5.0"
  16. bap-cxxfilt >= "2.5.0"
  17. bap-dependencies >= "2.5.0"
  18. bap-disassemble >= "2.5.0"
  19. bap-dump-symbols >= "2.5.0"
  20. bap-dwarf >= "2.5.0"
  21. bap-elementary >= "2.5.0"
  22. bap-elf >= "2.5.0"
  23. bap-flatten >= "2.5.0"
  24. bap-frames >= "2.1.2"
  25. bap-frontc >= "2.5.0"
  26. bap-frontend >= "2.5.0"
  27. bap-fsi-benchmark >= "2.5.0"
  28. bap-ghidra >= "2.5.0"
  29. bap-glibc-runtime >= "2.5.0"
  30. bap-llvm >= "2.5.0"
  31. bap-mc >= "2.5.0"
  32. bap-microx >= "2.5.0"
  33. bap-mips >= "2.5.0"
  34. bap-objdump >= "2.5.0"
  35. bap-optimization >= "2.5.0"
  36. bap-patterns >= "2.5.0"
  37. bap-phoenix >= "2.5.0"
  38. bap-piqi >= "2.5.0"
  39. bap-powerpc >= "2.5.0"
  40. bap-primus >= "2.5.0"
  41. bap-primus-dictionary >= "2.5.0"
  42. bap-primus-exploring-scheduler >= "2.5.0"
  43. bap-primus-greedy-scheduler >= "2.5.0"
  44. bap-primus-limit >= "2.5.0"
  45. bap-primus-lisp >= "2.5.0"
  46. bap-primus-loader >= "2.5.0"
  47. bap-primus-mark-visited >= "2.5.0"
  48. bap-primus-powerpc >= "2.5.0"
  49. bap-primus-print >= "2.5.0"
  50. bap-primus-promiscuous >= "2.5.0"
  51. bap-primus-propagate-taint >= "2.5.0"
  52. bap-primus-random >= "2.5.0"
  53. bap-primus-region >= "2.5.0"
  54. bap-primus-round-robin-scheduler >= "2.5.0"
  55. bap-primus-symbolic-executor >= "2.5.0"
  56. bap-primus-systems >= "2.5.0"
  57. bap-primus-taint >= "2.5.0"
  58. bap-primus-test >= "2.5.0"
  59. bap-primus-track-visited >= "2.5.0"
  60. bap-primus-wandering-scheduler >= "2.5.0"
  61. bap-primus-x86 >= "2.5.0"
  62. bap-print >= "2.5.0"
  63. bap-radare2 >= "2.5.0"
  64. bap-raw >= "2.5.0"
  65. bap-recipe-command >= "2.5.0"
  66. bap-relocatable >= "2.5.0"
  67. bap-report >= "2.5.0"
  68. bap-riscv >= "2.5.0"
  69. bap-run >= "2.5.0"
  70. bap-saluki >= "bap-1.6"
  71. bap-specification >= "2.5.0"
  72. bap-ssa >= "2.5.0"
  73. bap-stub-resolver >= "2.5.0"
  74. bap-symbol-reader >= "2.5.0"
  75. bap-systemz >= "2.5.0"
  76. bap-taint >= "2.5.0"
  77. bap-taint-propagator >= "2.5.0"
  78. bap-term-mapper >= "2.5.0"
  79. bap-thumb >= "2.5.0"
  80. bap-toplevel >= "2.5.0"
  81. bap-trace >= "2.5.0"
  82. bap-traces >= "2.5.0"
  83. bap-trivial-condition-form >= "2.5.0"
  84. bap-veri = "0.2.4"
  85. bap-warn-unused >= "2.5.0"
  86. bap-x86 >= "2.5.0"
  87. fkie-cad-cwe-checker < "0.2"

Conflicts (2)

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

Innovation. Community. Security.