Merge pull request #20177 from ivg/bap-v2.4.0

releases BAP 2.4.0

packages/bap-abi/bap-abi.2.4.0/opam

@@ -0,0 +1,29 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-abi"]
+  [make]
+]
+install: [[make "install"]]
+remove: [["ocamlfind" "remove" "bap-plugin-abi"]
+         ["ocamlfind" "remove" "bap-abi"]
+         ["bapbundle" "remove" "abi.plugin"]
+         ]
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+  "bap-std" {= "2.4.0"}
+]
+synopsis: "BAP ABI integration subsystem"
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}

packages/bap-analyze/bap-analyze.2.4.0/opam

@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-analyze"]
+  [make]
+]
+install: [[make "install"]]
+remove: [["ocamlfind" "remove" "bap-plugin-analyze"]
+         ["bapbundle" "remove" "analyze.plugin"]
+         ]
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+  "bap-std" {= "2.4.0"}
+  "monads"  {= "2.4.0"}
+  "bap-knowledge" {= "2.4.0"}
+  "bap-core-theory" {= "2.4.0"}
+  "bap-main" {= "2.4.0"}
+  "bitvec" {= "2.4.0"}
+  "linenoise" {>= "1.1.0" & < "2.0.0"}
+]
+synopsis: "Implements the analyze command"
+description: """
+Analyses the knowledge base. Loads the knowledge base and executes the
+specified commands or run the REPL if no commands or script files were
+specified.
+"""
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}

packages/bap-api/bap-api.2.4.0/opam

@@ -0,0 +1,33 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-api"]
+  [make]
+]
+install: [[make "install"]]
+remove: [["ocamlfind" "remove" "bap-plugin-api"]
+         ["ocamlfind" "remove" "bap-api"]
+         ["bapbundle" "remove" "api.plugin"]
+         ["rm" "-rf" "%{prefix}%/share/bap/api/c"]
+         ]
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+  "bap-main" {= "2.4.0"}
+  "bap-std" {= "2.4.0"}
+  "regular" {= "2.4.0"}
+  "fileutils"
+]
+synopsis: "A pass that adds parameters to subroutines based on known API"
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}

packages/bap-arm/bap-arm.2.4.0/opam

@@ -0,0 +1,49 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-arm"]
+  [make]
+]
+
+install: [[make "install"]]
+
+remove: [
+        ["ocamlfind" "remove" "bap-arm"]
+        ["ocamlfind" "remove" "bap-plugin-arm"]
+        ["bapbundle"   "remove" "arm.plugin"]
+
+]
+
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+  "monads" {= "2.4.0"}
+  "ogre" {= "2.4.0"}
+  "regular" {= "2.4.0"}
+  "bitvec" {= "2.4.0"}
+  "bitvec-order" {= "2.4.0"}
+  "bap-knowledge" {= "2.4.0"}
+  "bap-core-theory" {= "2.4.0"}
+  "bap-main" {= "2.4.0"}
+  "bap-std" {= "2.4.0"}
+  "bap-abi" {= "2.4.0"}
+  "bap-api" {= "2.4.0"}
+  "bap-c" {= "2.4.0"}
+  "bap-primus" {= "2.4.0"}
+]
+synopsis: "BAP ARM lifter and disassembler"
+description: """
+Provides semantics for ARM instructions, disassembler, and partial
+support for the gnueabi ABI"""
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}

packages/bap-beagle-strings/bap-beagle-strings.2.4.0/opam

@@ -0,0 +1,30 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-strings"]
+  [make]
+]
+install: [[make "install"]]
+remove: [["ocamlfind" "remove" "bap-plugin_strings"]
+         ["bapbundle" "remove" "strings.plugin"]]
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+  "bap-std" {= "2.4.0"}
+  "regular" {= "2.4.0"}
+  "bap-strings" {= "2.4.0"}
+  "bap-beagle" {= "2.4.0"}
+]
+synopsis: "Finds strings of characters using microexecution"
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}

packages/bap-beagle/bap-beagle.2.4.0/opam

@@ -0,0 +1,38 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-beagle"]
+  [make]
+]
+install: [[make "install"]]
+remove: [["ocamlfind" "remove" "bap-plugin-beagle"]
+         ["ocamlfind" "remove" "bap-beagle-prey"]
+         ["bapbundle" "remove" "beagle.plugin"]
+         ]
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+  "bap-std" {= "2.4.0"}
+  "regular" {= "2.4.0"}
+  "monads"  {= "2.4.0"}
+  "bap-microx" {= "2.4.0"}
+  "bap-primus" {= "2.4.0"}
+  "bap-strings" {= "2.4.0"}
+  "bap-future" {= "2.4.0"}
+]
+synopsis: "BAP obfuscated string solver"
+description: """
+Like strings on steroids - finds strings encoded in binaries,
+even if they are not truly static."""
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}

packages/bap-bil/bap-bil.2.4.0/opam

@@ -0,0 +1,35 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-bil"]
+  [make]
+]
+install: [[make "install"]]
+remove: [["ocamlfind" "remove" "bap-plugin-bil"]
+         ["bapbundle" "remove" "bil.plugin"]]
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+  "bap-std" {= "2.4.0"}
+  "bap-core-theory" {= "2.4.0"}
+  "bap-knowledge" {= "2.4.0"}
+  "bap-future" {= "2.4.0"}
+  "monads" {= "2.4.0"}
+  "bitvec" {= "2.4.0"}
+  "bitvec-order" {= "2.4.0"}
+  "ogre" {= "2.4.0"}
+  "bap-main" {= "2.4.0"}
+]
+synopsis: "Controls the BIL transformation pipeline"
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}

packages/bap-build/bap-build.2.4.0/opam

@@ -0,0 +1,38 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-build"]
+  [make]
+]
+
+install: [
+  [make "install"]
+]
+
+remove: [
+  ["ocamlfind" "remove" "bap-build"]
+  ["rm" "-f" "%{bin}%/bapbuild"]
+]
+
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "oasis" {build & >= "0.4.7"}
+  "ocamlbuild"
+  "ocamlfind"
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+]
+synopsis: "BAP build automation tools"
+
+flags: light-uninstall
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}

packages/bap-bundle/bap-bundle.2.4.0/opam

@@ -0,0 +1,31 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-bundle"]
+  [make]
+]
+install: [[make "install"]]
+remove: [["ocamlfind" "remove" "bap-bundle"]
+         ["rm" "-f" "%{bin}%/bapbundle"]
+         ]
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "oasis" {build & >= "0.4.7"}
+  "uri"
+  "camlzip"
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+  "fileutils"
+]
+synopsis: "BAP bundler"
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}

packages/bap-byteweight-frontend/bap-byteweight-frontend.2.4.0/opam

@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-byteweight-frontend"]
+  [make]
+]
+
+install: [[make "install"]]
+
+remove: [["rm" "-f" "%{bin}%/bap-byteweight"]]
+
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "core_kernel" {>= "v0.14" & < "v0.15"}
+  "ppx_bap" {>= "v0.14" & < "v0.15"}
+  "bap-std" {= "2.4.0"}
+  "bap-byteweight" {= "2.4.0"}
+  "cmdliner"
+  "ocurl"
+  "fileutils"
+  "ocamlfind"
+  "re"
+]
+synopsis: "BAP Toolkit for training and controlling Byteweight algorithm"
+description: """
+A command line interface to the byteweight system that can train,
+test, download, and upload binary signatures."""
+flags: light-uninstall
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}