package bap-std

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

None

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

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