package bap-std

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"

None

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"

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