Make compatible with OCaml 5 and Ghidra 11.4

.git-blame-ignore-revs

@@ -0,0 +1,10 @@
+# format all code
+59387eb56421aca501f92dd99cd147114e8fc19a
+# fix doc except bap.mli
+4b75e4d20472422cbd8f5e2fd0510ff3ab861dfd
+# fix doc and fmts
+13741ea5dbbc0d7b52d8d6b5b9db735566d4d9b6
+# chore(docs): fmt
+4d82d8c4b86e6db178594c55be7691cc6d138140
+# use ocamlformat 0.28.1
+0d8443eb9283441c393161d8aa6b8eb4e0384e1c

.gitignore

@@ -80,4 +80,4 @@ OMakefile
 /config.status.in
 /_opam/
 /plugins/api/api_sites.ml
-/plugins/stub_resolver/stub_resolver_sites.ml
+/plugins/stub_resolver/stub_resolver_sites.ml

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "plugins/primus_symbolic_executor/z3"]
+	path = plugins/primus_symbolic_executor/z3
+	url = https://github.com/Z3Prover/z3.git

.ocamlformat

@@ -0,0 +1,2 @@
+profile = default
+version = 0.28.1

bap-abi.opam

@@ -9,10 +9,10 @@ tags: ["bap" "bap-pass" "bap-plugin"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-main" {= version}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "bap-common" {= version}
   "ppx_bap" {= version}
   "regular" {= version}
@@ -35,3 +35,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-analyze.opam

@@ -9,13 +9,13 @@ tags: ["bap" "bap-command" "bap-plugin"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-core-theory" {= version}
   "bap-knowledge" {= version}
   "bap-main" {= version}
   "bap-std" {= version}
   "bitvec" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "linenoise" {>= "1.1.0" & < "2.0.0"}
   "monads" {= version}
   "bap-common" {= version}
@@ -39,3 +39,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-api.opam

@@ -9,11 +9,11 @@ tags: ["bap" "bap-plugin" "bap-library"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-common" {= version}
   "bap-main" {= version}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "fileutils"
   "ppx_bap" {= version}
   "regular" {= version}
@@ -36,3 +36,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-arm.opam

@@ -9,7 +9,7 @@ tags: ["bap" "bap-plugin" "bap-library" "arm"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-abi" {= version}
   "bap-api" {= version}
   "bap-core-theory" {= version}
@@ -21,7 +21,7 @@ depends: [
   "bap-traces" {= version}
   "bitvec-order" {= version}
   "bitvec" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "monads" {= version}
   "bap-common" {= version}
   "ogre" {= version}
@@ -46,3 +46,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-beagle-strings.opam

@@ -9,8 +9,8 @@ tags: ["bap" "bap-plugin"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "dune" {>= "3.20"}
+  "core"
   "bap-common" {= version}
   "bap-beagle" {= version}
   "ppx_bap" {= version}
@@ -36,3 +36,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-beagle.opam

@@ -9,13 +9,13 @@ tags: ["bap" "bap-plugin"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-future" {= version}
   "bap-microx" {= version}
   "bap-primus" {= version}
   "bap-std" {= version}
   "bap-strings" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "monads" {= version}
   "bap-common" {= version}
   "ppx_bap" {= version}
@@ -39,3 +39,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-bil.opam

@@ -9,15 +9,15 @@ tags: ["bap" "bap-plugin"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-core-theory" {= version}
   "bap-future" {= version}
   "bap-knowledge" {= version}
   "bap-main" {= version}
   "bap-std" {= version}
   "bitvec-order" {= version}
   "bitvec" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "monads" {= version}
   "bap-common" {= version}
   "ogre" {= version}
@@ -41,3 +41,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-bml.opam

@@ -9,9 +9,9 @@ tags: ["bap" "bap-library"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "bap-common" {= version}
   "ppx_bap" {= version}
   "odoc" {with-doc}
@@ -33,3 +33,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-build.opam

@@ -9,11 +9,9 @@ tags: ["bap" "bap-tool" "ocamlbuild"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "dune" {>= "3.20"}
+  "core"
   "bap-common" {= version}
-  "ocamlbuild"
-  "ocamlfind"
   "ppx_bap" {= version}
   "odoc" {with-doc}
 ]
@@ -34,3 +32,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-bundle.opam

@@ -9,9 +9,10 @@ tags: ["bap" "bap-tool"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
-  "camlzip" {>= "1.0" & < "2.0"}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "dune" {>= "3.20"}
+  "camlzip"
+  "core"
+  "core_kernel"
   "fileutils"
   "bap-common" {= version}
   "ppx_bap" {= version}
@@ -35,3 +36,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-byteweight-frontend.opam

@@ -9,11 +9,11 @@ tags: ["bap" "bap-frontend" "bap-command"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-byteweight" {= version}
   "bap-std" {= version}
-  "cmdliner" {>= "1.0" & < "2.0"}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "cmdliner"
+  "core"
   "fileutils"
   "bap-common" {= version}
   "ocurl" {>= "0.9.0"}
@@ -38,3 +38,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-byteweight.opam

@@ -9,11 +9,11 @@ tags: ["bap" "bap-library" "bap-plugin"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-signatures" {= version}
   "bap-std" {= version}
   "camlzip" {>= "1.0" & < "2.0"}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "bap-common" {= version}
   "ppx_bap" {= version}
   "regular" {= version}
@@ -37,3 +37,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-c.opam

@@ -9,13 +9,13 @@ tags: ["bap" "bap-library" "c"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-abi" {= version}
   "bap-api" {= version}
   "bap-core-theory" {= version}
   "bap-knowledge" {= version}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "bap-common" {= version}
   "ppx_bap" {= version}
   "odoc" {with-doc}
@@ -37,3 +37,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-cache.opam

@@ -9,10 +9,10 @@ tags: ["bap" "bap-plugin"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-main" {= version}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "fileutils"
   "mmap"
   "bap-common" {= version}
@@ -38,3 +38,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-callgraph-collator.opam

@@ -9,10 +9,10 @@ tags: ["bap" "bap-analysis"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-main" {= version}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "graphlib" {= version}
   "bap-common" {= version}
   "ppx_bap" {= version}
@@ -37,3 +37,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-callsites.opam

@@ -9,9 +9,9 @@ tags: ["bap" "bap-plugin" "bap-pass"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "bap-common" {= version}
   "odoc" {with-doc}
 ]
@@ -32,3 +32,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-common.opam

@@ -9,12 +9,8 @@ tags: ["bap" "meta"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "base" {>= "v0.14" & < "v0.16"}
-  "dune" {>= "3.1"}
-  "dune-configurator"
+  "dune" {>= "3.20"}
   "dune-site"
-  "ocaml" {> "4.08.0"}
-  "stdio" {>= "v0.14" & < "v0.16"}
   "odoc" {with-doc}
 ]
 build: [
@@ -34,3 +30,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-constant-tracker.opam

@@ -9,10 +9,10 @@ tags: ["bap" "bap-analysis" "bap-plugin" "bap-primus"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-primus" {= version}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "bap-common" {= version}
   "odoc" {with-doc}
 ]
@@ -33,3 +33,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]

bap-core-theory.opam

@@ -11,14 +11,14 @@ tags: ["bap" "bap-library"]
 homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
-  "dune" {>= "3.1"}
+  "dune" {>= "3.20"}
   "bap-knowledge" {= version}
   "bap-main" {= version}
   "bitvec" {= version}
   "bitvec-binprot" {= version}
   "bitvec-order" {= version}
   "bitvec-sexp" {= version}
-  "core_kernel" {>= "v0.14" & < "v0.16"}
+  "core"
   "bap-common" {= version}
   "ppx_bap" {= version}
   "odoc" {with-doc}
@@ -40,3 +40,4 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"
+x-maintenance-intent: ["(latest)"]