package bap-std

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

None

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

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