package bap-std

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"

None

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"

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