package bap-std

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

None

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

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