Skip to content

Commit 90494c7

Browse files
bmourad01bmourad01
committed
Upgrades BAP to janestreet v0.16 libraries
1 parent 13106cb commit 90494c7

File tree

208 files changed

+516
-517
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

208 files changed

+516
-517
lines changed

‎bap-abi.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ depends: [
1212
"dune" {>= "3.1"}
1313
"bap-main" {= version}
1414
"bap-std" {= version}
15-
"core_kernel" {>= "v0.14" & < "v0.16"}
15+
"core_kernel" {>= "v0.16" & < "v0.17"}
1616
"bap-common" {= version}
1717
"ppx_bap" {= version}
1818
"regular" {= version}

‎bap-analyze.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ depends: [
1515
"bap-main" {= version}
1616
"bap-std" {= version}
1717
"bitvec" {= version}
18-
"core_kernel" {>= "v0.14" & < "v0.16"}
18+
"core_kernel" {>= "v0.16" & < "v0.17"}
1919
"linenoise" {>= "1.1.0" & < "2.0.0"}
2020
"monads" {= version}
2121
"bap-common" {= version}

‎bap-api.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ depends: [
1313
"bap-common" {= version}
1414
"bap-main" {= version}
1515
"bap-std" {= version}
16-
"core_kernel" {>= "v0.14" & < "v0.16"}
16+
"core_kernel" {>= "v0.16" & < "v0.17"}
1717
"fileutils"
1818
"ppx_bap" {= version}
1919
"regular" {= version}

‎bap-arm.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ depends: [
2121
"bap-traces" {= version}
2222
"bitvec-order" {= version}
2323
"bitvec" {= version}
24-
"core_kernel" {>= "v0.14" & < "v0.16"}
24+
"core_kernel" {>= "v0.16" & < "v0.17"}
2525
"monads" {= version}
2626
"bap-common" {= version}
2727
"ogre" {= version}

‎bap-beagle-strings.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
1010
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
13-
"core_kernel" {>= "v0.14" & < "v0.16"}
13+
"core_kernel" {>= "v0.16" & < "v0.17"}
1414
"bap-common" {= version}
1515
"bap-beagle" {= version}
1616
"ppx_bap" {= version}

‎bap-beagle.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ depends: [
1515
"bap-primus" {= version}
1616
"bap-std" {= version}
1717
"bap-strings" {= version}
18-
"core_kernel" {>= "v0.14" & < "v0.16"}
18+
"core_kernel" {>= "v0.16" & < "v0.17"}
1919
"monads" {= version}
2020
"bap-common" {= version}
2121
"ppx_bap" {= version}

‎bap-bil.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ depends: [
1717
"bap-std" {= version}
1818
"bitvec-order" {= version}
1919
"bitvec" {= version}
20-
"core_kernel" {>= "v0.14" & < "v0.16"}
20+
"core_kernel" {>= "v0.16" & < "v0.17"}
2121
"monads" {= version}
2222
"bap-common" {= version}
2323
"ogre" {= version}

‎bap-bml.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
1313
"bap-std" {= version}
14-
"core_kernel" {>= "v0.14" & < "v0.16"}
14+
"core_kernel" {>= "v0.16" & < "v0.17"}
1515
"bap-common" {= version}
1616
"ppx_bap" {= version}
1717
"odoc" {with-doc}

‎bap-build.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
1010
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
13-
"core_kernel" {>= "v0.14" & < "v0.16"}
13+
"core_kernel" {>= "v0.16" & < "v0.17"}
1414
"bap-common" {= version}
1515
"ocamlbuild"
1616
"ocamlfind"

‎bap-bundle.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
1313
"camlzip" {>= "1.0" & < "2.0"}
14-
"core_kernel" {>= "v0.14" & < "v0.16"}
14+
"core_kernel" {>= "v0.16" & < "v0.17"}
1515
"fileutils"
1616
"bap-common" {= version}
1717
"ppx_bap" {= version}

‎bap-byteweight-frontend.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ depends: [
1313
"bap-byteweight" {= version}
1414
"bap-std" {= version}
1515
"cmdliner" {>= "1.0" & < "2.0"}
16-
"core_kernel" {>= "v0.14" & < "v0.16"}
16+
"core_kernel" {>= "v0.16" & < "v0.17"}
1717
"fileutils"
1818
"bap-common" {= version}
1919
"ocurl" {>= "0.9.0"}

‎bap-byteweight.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ depends: [
1313
"bap-signatures" {= version}
1414
"bap-std" {= version}
1515
"camlzip" {>= "1.0" & < "2.0"}
16-
"core_kernel" {>= "v0.14" & < "v0.16"}
16+
"core_kernel" {>= "v0.16" & < "v0.17"}
1717
"bap-common" {= version}
1818
"ppx_bap" {= version}
1919
"regular" {= version}

‎bap-c.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ depends: [
1515
"bap-core-theory" {= version}
1616
"bap-knowledge" {= version}
1717
"bap-std" {= version}
18-
"core_kernel" {>= "v0.14" & < "v0.16"}
18+
"core_kernel" {>= "v0.16" & < "v0.17"}
1919
"bap-common" {= version}
2020
"ppx_bap" {= version}
2121
"odoc" {with-doc}

‎bap-cache.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ depends: [
1212
"dune" {>= "3.1"}
1313
"bap-main" {= version}
1414
"bap-std" {= version}
15-
"core_kernel" {>= "v0.14" & < "v0.16"}
15+
"core_kernel" {>= "v0.16" & < "v0.17"}
1616
"fileutils"
1717
"mmap"
1818
"bap-common" {= version}

‎bap-callgraph-collator.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ depends: [
1212
"dune" {>= "3.1"}
1313
"bap-main" {= version}
1414
"bap-std" {= version}
15-
"core_kernel" {>= "v0.14" & < "v0.16"}
15+
"core_kernel" {>= "v0.16" & < "v0.17"}
1616
"graphlib" {= version}
1717
"bap-common" {= version}
1818
"ppx_bap" {= version}

‎bap-callsites.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
1313
"bap-std" {= version}
14-
"core_kernel" {>= "v0.14" & < "v0.16"}
14+
"core_kernel" {>= "v0.16" & < "v0.17"}
1515
"bap-common" {= version}
1616
"odoc" {with-doc}
1717
]

‎bap-common.opam

+2-2
Original file line numberDiff line numberDiff line change
@@ -9,12 +9,12 @@ tags: ["bap" "meta"]
99
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
1010
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
12-
"base" {>= "v0.14" & < "v0.16"}
12+
"base" {>= "v0.16" & < "v0.17"}
1313
"dune" {>= "3.1"}
1414
"dune-configurator"
1515
"dune-site"
1616
"ocaml" {> "4.08.0"}
17-
"stdio" {>= "v0.14" & < "v0.16"}
17+
"stdio" {>= "v0.16" & < "v0.17"}
1818
"odoc" {with-doc}
1919
]
2020
build: [

‎bap-constant-tracker.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ depends: [
1212
"dune" {>= "3.1"}
1313
"bap-primus" {= version}
1414
"bap-std" {= version}
15-
"core_kernel" {>= "v0.14" & < "v0.16"}
15+
"core_kernel" {>= "v0.16" & < "v0.17"}
1616
"bap-common" {= version}
1717
"odoc" {with-doc}
1818
]

‎bap-core-theory.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ depends: [
1818
"bitvec-binprot" {= version}
1919
"bitvec-order" {= version}
2020
"bitvec-sexp" {= version}
21-
"core_kernel" {>= "v0.14" & < "v0.16"}
21+
"core_kernel" {>= "v0.16" & < "v0.17"}
2222
"bap-common" {= version}
2323
"ppx_bap" {= version}
2424
"odoc" {with-doc}

‎bap-cxxfilt.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ depends: [
1313
"bap-demangle" {= version}
1414
"bap-std" {= version}
1515
"conf-binutils" {>= "0.3"}
16-
"core_kernel" {>= "v0.14" & < "v0.16"}
16+
"core_kernel" {>= "v0.16" & < "v0.17"}
1717
"bap-common" {= version}
1818
"odoc" {with-doc}
1919
]

‎bap-demangle.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ depends: [
1313
"bap-core-theory" {= version}
1414
"bap-knowledge" {= version}
1515
"bap-main" {= version}
16-
"core_kernel" {>= "v0.14" & < "v0.16"}
16+
"core_kernel" {>= "v0.16" & < "v0.17"}
1717
"bap-common" {= version}
1818
"odoc" {with-doc}
1919
]

‎bap-dependencies.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ depends: [
1212
"dune" {>= "3.1"}
1313
"bap-main" {= version}
1414
"bap-std" {= version}
15-
"core_kernel" {>= "v0.14" & < "v0.16"}
15+
"core_kernel" {>= "v0.16" & < "v0.17"}
1616
"bap-common" {= version}
1717
"ogre" {= version}
1818
"ppx_bap" {= version}

‎bap-disassemble.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ depends: [
1919
"bitvec-order" {= version}
2020
"bitvec-sexp" {= version}
2121
"bitvec" {= version}
22-
"core_kernel" {>= "v0.14" & < "v0.16"}
22+
"core_kernel" {>= "v0.16" & < "v0.17"}
2323
"monads" {= version}
2424
"bap-common" {= version}
2525
"ogre" {= version}

‎bap-dump-symbols.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
1313
"bap-std" {= version}
14-
"core_kernel" {>= "v0.14" & < "v0.16"}
14+
"core_kernel" {>= "v0.16" & < "v0.17"}
1515
"graphlib" {= version}
1616
"bap-common" {= version}
1717
"ppx_bap" {= version}

‎bap-dwarf.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
1313
"bap-std" {= version}
14-
"core_kernel" {>= "v0.14" & < "v0.16"}
14+
"core_kernel" {>= "v0.16" & < "v0.17"}
1515
"bap-common" {= version}
1616
"ppx_bap" {= version}
1717
"regular" {= version}

‎bap-elementary.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ depends: [
1515
"bap-knowledge" {= version}
1616
"bap-std" {= version}
1717
"bitvec" {= version}
18-
"core_kernel" {>= "v0.14" & < "v0.16"}
18+
"core_kernel" {>= "v0.16" & < "v0.17"}
1919
"odoc" {with-doc}
2020
]
2121
build: [

‎bap-elf.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ depends: [
1212
"dune" {>= "3.1"}
1313
"bap-dwarf" {= version}
1414
"bap-std" {= version}
15-
"core_kernel" {>= "v0.14" & < "v0.16"}
15+
"core_kernel" {>= "v0.16" & < "v0.17"}
1616
"bap-common" {= version}
1717
"ppx_bap" {= version}
1818
"ppx_bitstring" {>= "4.0.0" & < "5.0.0"}

‎bap-flatten.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
1313
"bap-std" {= version}
14-
"core_kernel" {>= "v0.14" & < "v0.16"}
14+
"core_kernel" {>= "v0.16" & < "v0.17"}
1515
"bap-common" {= version}
1616
"odoc" {with-doc}
1717
]

‎bap-frontc.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ depends: [
1212
"dune" {>= "3.1"}
1313
"bap-c" {= version}
1414
"bap-std" {= version}
15-
"core_kernel" {>= "v0.14" & < "v0.16"}
15+
"core_kernel" {>= "v0.16" & < "v0.17"}
1616
"FrontC" {>= "4.1.0"}
1717
"bap-common" {= version}
1818
"odoc" {with-doc}

‎bap-frontend.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ depends: [
1414
"bap-knowledge" {= version}
1515
"bap-main" {= version}
1616
"bap-std" {= version}
17-
"core_kernel" {>= "v0.14" & < "v0.16"}
17+
"core_kernel" {>= "v0.16" & < "v0.17"}
1818
"bap-common" {= version}
1919
"ocamlfind"
2020
"regular" {= version}

‎bap-future.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
1212
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1313
depends: [
1414
"dune" {>= "3.1"}
15-
"core_kernel" {>= "v0.14" & < "v0.16"}
15+
"core_kernel" {>= "v0.16" & < "v0.17"}
1616
"monads" {= version}
1717
"bap-common" {= version}
1818
"odoc" {with-doc}

‎bap-ghidra.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
1010
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
13-
"core_kernel" {>= "v0.14" & < "v0.16"}
13+
"core_kernel" {>= "v0.16" & < "v0.17"}
1414
"ppx_bap" {= version}
1515
"bap-common" {= version}
1616
"bap-std" {= version}

‎bap-glibc-runtime.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ depends: [
1414
"bap-c" {= version}
1515
"bap-main" {= version}
1616
"bap-std" {= version}
17-
"core_kernel" {>= "v0.14" & < "v0.16"}
17+
"core_kernel" {>= "v0.16" & < "v0.17"}
1818
"bap-common" {= version}
1919
"ogre" {= version}
2020
"odoc" {with-doc}

‎bap-ida-plugin.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
1313
"bap-std" {= version}
14-
"core_kernel" {>= "v0.14" & < "v0.16"}
14+
"core_kernel" {>= "v0.16" & < "v0.17"}
1515
"bap-common" {= version}
1616
"ppx_bap" {= version}
1717
"regular" {= version}

‎bap-ida.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
1010
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
13-
"core_kernel" {>= "v0.14" & < "v0.16"}
13+
"core_kernel" {>= "v0.16" & < "v0.17"}
1414
"regular" {= version}
1515
"fileutils"
1616
"bap-common" {= version}

‎bap-knowledge.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
1010
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
13-
"core_kernel" {>= "v0.14" & < "v0.16"}
13+
"core_kernel" {>= "v0.16" & < "v0.17"}
1414
"ppx_bap" {= version}
1515
"bap-common" {= version}
1616
"monads" {= version}

‎bap-llvm.opam

+2-1
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ depends: [
1212
"dune" {>= "3.1"}
1313
"bap-std" {= version}
1414
"conf-bap-llvm" {>= "1.8"}
15-
"core_kernel" {>= "v0.14" & < "v0.16"}
15+
"core_kernel" {>= "v0.16" & < "v0.17"}
1616
"mmap"
1717
"monads" {= version}
1818
"bap-common" {= version}
@@ -26,6 +26,7 @@ build: [
2626
[
2727
"ocaml" "tools/configure.ml"
2828
"--with-llvm-config=%{conf-bap-llvm:config}%"
29+
"--%{llvm-shared?disable:enable}%-llvm-static"
2930
]
3031
[
3132
"dune"

‎bap-main.opam

+2-2
Original file line numberDiff line numberDiff line change
@@ -14,10 +14,10 @@ depends: [
1414
"bap-future" {= version}
1515
"bap-plugins" {= version}
1616
"bap-recipe" {= version}
17-
"base" {>= "v0.14" & < "v0.16"}
17+
"base" {>= "v0.16" & < "v0.17"}
1818
"cmdliner" {>= "1.0" & < "2.0"}
1919
"bap-common" {= version}
20-
"stdio" {>= "v0.14" & < "v0.16"}
20+
"stdio" {>= "v0.16" & < "v0.17"}
2121
"odoc" {with-doc}
2222
]
2323
build: [

‎bap-mc.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ depends: [
1515
"bap-main" {= version}
1616
"bap-std" {= version}
1717
"bitvec" {= version}
18-
"core_kernel" {>= "v0.14" & < "v0.16"}
18+
"core_kernel" {>= "v0.16" & < "v0.17"}
1919
"bap-common" {= version}
2020
"ogre" {= version}
2121
"ppx_bap" {= version}

‎bap-microx.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
1111
depends: [
1212
"dune" {>= "3.1"}
1313
"bap-std" {= version}
14-
"core_kernel" {>= "v0.14" & < "v0.16"}
14+
"core_kernel" {>= "v0.16" & < "v0.17"}
1515
"monads" {= version}
1616
"bap-common" {= version}
1717
"ppx_bap" {= version}

‎bap-mips.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ depends: [
1717
"bap-knowledge" {= version}
1818
"bap-main" {= version}
1919
"bap-std" {= version}
20-
"core_kernel" {>= "v0.14" & < "v0.16"}
20+
"core_kernel" {>= "v0.16" & < "v0.17"}
2121
"bap-common" {= version}
2222
"ogre" {= version}
2323
"ppx_bap" {= version}

‎bap-objdump.opam

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ depends: [
1919
"bitvec-sexp" {= version}
2020
"bitvec" {= version}
2121
"conf-binutils" {>= "0.3"}
22-
"core_kernel" {>= "v0.14" & < "v0.16"}
22+
"core_kernel" {>= "v0.16" & < "v0.17"}
2323
"bap-common" {= version}
2424
"ppx_bap" {= version}
2525
"re" {>= "1.0" & < "2.0"}

0 commit comments

Comments
 (0)