diff --git a/bap-abi.opam b/bap-abi.opam index 1950c579a..2ea4f8977 100644 --- a/bap-abi.opam +++ b/bap-abi.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP plugin and library for ABI-specific transformations" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-analyze.opam b/bap-analyze.opam index 79c391571..80db50be1 100644 --- a/bap-analyze.opam +++ b/bap-analyze.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Knowledge Base REPL" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-api.opam b/bap-api.opam index 3d468a640..8c043a93f 100644 --- a/bap-api.opam +++ b/bap-api.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP pass that adds arguments to subroutines" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-arm.opam b/bap-arm.opam index f94358956..61a44d561 100644 --- a/bap-arm.opam +++ b/bap-arm.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP ARM support package" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-base.opam b/bap-base.opam index d04553ec5..44864a707 100644 --- a/bap-base.opam +++ b/bap-base.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A Package on which all BAP packages depend" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] @@ -11,7 +12,7 @@ depends: [ "base" {>= "v0.14" & < "v0.16"} "dune" {>= "2.8" & >= "2.8"} "dune-configurator" - "dune-sites" + "dune-site" "ocaml" {> "4.08.0"} "stdio" {>= "v0.14" & < "v0.16"} "odoc" {with-doc} diff --git a/bap-beagle-strings.opam b/bap-beagle-strings.opam index ed6eec358..cea16b728 100644 --- a/bap-beagle-strings.opam +++ b/bap-beagle-strings.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Finds strings in binaries using microexecution" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-beagle.opam b/bap-beagle.opam index 81e321b5b..fcbc29eed 100644 --- a/bap-beagle.opam +++ b/bap-beagle.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP obfuscated string solver" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-bil.opam b/bap-bil.opam index e15f5c3dd..2497a1c0b 100644 --- a/bap-bil.opam +++ b/bap-bil.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Instruction Language (BIL)" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-bml.opam b/bap-bml.opam index 0273fa1b3..60085273b 100644 --- a/bap-bml.opam +++ b/bap-bml.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Term Mapping Language (BML)" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-build.opam b/bap-build.opam index 3c73846ae..35f576bac 100644 --- a/bap-build.opam +++ b/bap-build.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Build Tool (ocamlbuild+bap)" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-bundle.opam b/bap-bundle.opam index bb9190b2c..27624e5dc 100644 --- a/bap-bundle.opam +++ b/bap-bundle.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A bundler for BAP plugins" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-byteweight-frontend.opam b/bap-byteweight-frontend.opam index c3124989d..09bce6ede 100644 --- a/bap-byteweight-frontend.opam +++ b/bap-byteweight-frontend.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A frontend to the BAP function start identification framework" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-byteweight.opam b/bap-byteweight.opam index e3749145e..02d417b1c 100644 --- a/bap-byteweight.opam +++ b/bap-byteweight.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP function start identification library and pass" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-c.opam b/bap-c.opam index bd346e6ae..10cf12649 100644 --- a/bap-c.opam +++ b/bap-c.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "The C language support library for BAP" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-cache.opam b/bap-cache.opam index 2558f8b36..e20859d86 100644 --- a/bap-cache.opam +++ b/bap-cache.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP cache management" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-callgraph-collator.opam b/bap-callgraph-collator.opam index a766282ff..271972002 100644 --- a/bap-callgraph-collator.opam +++ b/bap-callgraph-collator.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Compares binaries callgraphs" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-callsites.opam b/bap-callsites.opam index 73bded9a7..16c13aca9 100644 --- a/bap-callsites.opam +++ b/bap-callsites.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP pass that injects data definitions at call sites" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-constant-tracker.opam b/bap-constant-tracker.opam index a4a9f9854..4782dbaf7 100644 --- a/bap-constant-tracker.opam +++ b/bap-constant-tracker.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A constant tracking analysis based on BAP Primus" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-core-theory.opam b/bap-core-theory.opam index cab758fcb..869973b2c 100644 --- a/bap-core-theory.opam +++ b/bap-core-theory.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Machine Code Semantics" description: "The Core Theory is an intermediate language that is designed to express the semantics of computer programs. It focuses on programs that are represented in binary machine code and is capable of an accurate representation of the architectural and micro-architectural details of the program behavior." diff --git a/bap-core.opam b/bap-core.opam index 6a6198568..b87d93cbe 100644 --- a/bap-core.opam +++ b/bap-core.opam @@ -1,6 +1,7 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -synopsis: "the core BAP packages" +version: "master" +synopsis: "The core BAP packages" description: "the meta package to install the core parts of BAP" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] @@ -10,8 +11,55 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} - "bap-abi" - "bap-analyze" + "bap-abi" {= version} + "bap-analyze" {= version} + "bap-api" {= version} + "bap-arm" {= version} + "bap-bil" {= version} + "bap-build" {= version} + "bap-bundle" {= version} + "bap-byteweight" {= version} + "bap-cache" {= version} + "bap-callgraph-collator" {= version} + "bap-callsites" {= version} + "bap-c" {= version} + "bap-cxxfilt" {= version} + "bap-demangle" {= version} + "bap-dependencies" {= version} + "bap-disassemble" {= version} + "bap-dump-symbols" {= version} + "bap-elementary" {= version} + "bap-flatten" {= version} + "bap-frontc" {= version} + "bap-frontend" {= version} + "bap-glibc-runtime" {= version} + "bap-llvm" {= version} + "bap-mc" {= version} + "bap-mips" {= version} + "bap-objdump" {= version} + "bap-optimization" {= version} + "bap-patterns" {= version} + "bap-plugins" {= version} + "bap-powerpc" {= version} + "bap-primus-lisp" {= version} + "bap-primus" {= version} + "bap-print" {= version} + "bap-raw" {= version} + "bap-recipe-command" {= version} + "bap-recipe" {= version} + "bap-relation" {= version} + "bap-relocatable" {= version} + "bap-report" {= version} + "bap-riscv" {= version} + "bap-specification" {= version} + "bap-ssa" {= version} + "bap-std" {= version} + "bap-stub-resolver" {= version} + "bap-symbol-reader" {= version} + "bap-systemz" {= version} + "bap-thumb" {= version} + "bap-toplevel" {= version} + "bap-x86" {= version} "odoc" {with-doc} ] build: [ diff --git a/bap-cxxfilt.opam b/bap-cxxfilt.opam index 32f71899b..31d6c1b35 100644 --- a/bap-cxxfilt.opam +++ b/bap-cxxfilt.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A name demangler that uses system's c++filt" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-demangle.opam b/bap-demangle.opam index 3a02d8730..201ca53ea 100644 --- a/bap-demangle.opam +++ b/bap-demangle.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Provides names service and demangling facilities for BAP" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-dependencies.opam b/bap-dependencies.opam index 13234ad96..20b7e1a13 100644 --- a/bap-dependencies.opam +++ b/bap-dependencies.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Shows program depenencies" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-disassemble.opam b/bap-disassemble.opam index a1b8fe3f1..f707a918e 100644 --- a/bap-disassemble.opam +++ b/bap-disassemble.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Disassembles and analyzes binaries using BAP" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-dump-symbols.opam b/bap-dump-symbols.opam index bb662096d..1abd3a6dc 100644 --- a/bap-dump-symbols.opam +++ b/bap-dump-symbols.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP plugin for dumping symbol information" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-dwarf.opam b/bap-dwarf.opam index 9f06b0d74..06f060a77 100644 --- a/bap-dwarf.opam +++ b/bap-dwarf.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP DWARF parser" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-elementary.opam b/bap-elementary.opam index 94923eb8d..5816bf90b 100644 --- a/bap-elementary.opam +++ b/bap-elementary.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Floating-point approximations of elementary functions" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] @@ -9,12 +10,12 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} - "bap-bitvec" {= version} + "bap-base" {= version} "bap-core-theory" {= version} "bap-knowledge" {= version} "bap-std" {= version} + "bitvec" {= version} "core_kernel" {>= "v0.14" & < "v0.16"} - "bap-base" {= version} "odoc" {with-doc} ] build: [ diff --git a/bap-elf.opam b/bap-elf.opam index 6066a23f6..1b98a729e 100644 --- a/bap-elf.opam +++ b/bap-elf.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP ELF parser and program loader" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-extra.opam b/bap-extra.opam new file mode 100644 index 000000000..b09a1b52b --- /dev/null +++ b/bap-extra.opam @@ -0,0 +1,38 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +version: "master" +synopsis: "The extra BAP packages" +description: "the meta package to install the core parts of BAP" +maintainer: ["Ivan Gotovchits "] +authors: ["The BAP Team"] +license: "MIT" +tags: ["bap" "meta"] +homepage: "https://github.com/BinaryAnalysisPlatform/bap" +bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" +depends: [ + "dune" {>= "2.8"} + "bap" {= version} + "bap-byteweight-frontend" {= version} + "bap-elf" {= version} + "bap-primus-symbolic-executor" {= version} + "bap-ghidra" {= version} + "bap-trace" {= version} + "bap-traces" {= version} + "bap-radare2" {= version} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git" diff --git a/bap-flatten.opam b/bap-flatten.opam index 3cb29e4d0..9adb542d6 100644 --- a/bap-flatten.opam +++ b/bap-flatten.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP pass that flattens program to TAC" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-frontc.opam b/bap-frontc.opam index 3837cc2ac..5bb5e2c68 100644 --- a/bap-frontc.opam +++ b/bap-frontc.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP C language fronted based on FrontC" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-frontend.opam b/bap-frontend.opam index e64afb6f2..e44475cec 100644 --- a/bap-frontend.opam +++ b/bap-frontend.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "The main BAP command-line tool" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-future.opam b/bap-future.opam index 28c0c9eac..b8eb86e79 100644 --- a/bap-future.opam +++ b/bap-future.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A library for asynchronous values" description: "A library for reasoning about state based dynamic systems. This can be seen as a common denominator between Lwt and Async libraries." diff --git a/bap-ghidra.opam b/bap-ghidra.opam index 11a2b1f95..d42a49f0f 100644 --- a/bap-ghidra.opam +++ b/bap-ghidra.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "The BAP NSA Ghidra backend" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-glibc-runtime.opam b/bap-glibc-runtime.opam index aa1e8d6dc..d4fe5150f 100644 --- a/bap-glibc-runtime.opam +++ b/bap-glibc-runtime.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "The BAP Glibc Runtime support package" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-ida-plugin.opam b/bap-ida-plugin.opam index 96c504b12..cf6b702a2 100644 --- a/bap-ida-plugin.opam +++ b/bap-ida-plugin.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP IDA Pro integration" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-ida.opam b/bap-ida.opam index 68b8b4c82..dd47f6eeb 100644 --- a/bap-ida.opam +++ b/bap-ida.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP IDA Pro integration" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-knowledge.opam b/bap-knowledge.opam index 4be24c82e..6aaa3c04d 100644 --- a/bap-knowledge.opam +++ b/bap-knowledge.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Knowledge Reasoning and Representation Framework" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-llvm.opam b/bap-llvm.opam index fb4256440..8ab3da7de 100644 --- a/bap-llvm.opam +++ b/bap-llvm.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP LLVM backend" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] @@ -10,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} "bap-std" {= version} - "conf-bap-llvm" {>= "1.8.0"} + "conf-bap-llvm" {>= "1.8"} "core_kernel" {>= "v0.14" & < "v0.16"} "mmap" "monads" {= version} diff --git a/bap-main.opam b/bap-main.opam index f01c5dc0d..6a7bdcfcb 100644 --- a/bap-main.opam +++ b/bap-main.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "The BAP Framework Configuration Library" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-mc.opam b/bap-mc.opam index f005e916c..843213b40 100644 --- a/bap-mc.opam +++ b/bap-mc.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Machine Code Playground (BAP's llvm-mc)" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-microx.opam b/bap-microx.opam index ab2e0b514..a40fea7da 100644 --- a/bap-microx.opam +++ b/bap-microx.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Legacy Microexecution Framework" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-mips.opam b/bap-mips.opam index 68d4ce140..e7f4be134 100644 --- a/bap-mips.opam +++ b/bap-mips.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP MIPS Semantics" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-objdump.opam b/bap-objdump.opam index 204d1701c..eda23fcfb 100644 --- a/bap-objdump.opam +++ b/bap-objdump.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Extracts symbols from a binary using binutils objdump" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-optimization.opam b/bap-optimization.opam index c1b74984c..b012d914b 100644 --- a/bap-optimization.opam +++ b/bap-optimization.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP IR optimization pass" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-patterns.opam b/bap-patterns.opam index 099e1bf3e..7f79bf82d 100644 --- a/bap-patterns.opam +++ b/bap-patterns.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Applies semantic actions to the matching byte patterns" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-phoenix.opam b/bap-phoenix.opam index 132f69d12..9f933920e 100644 --- a/bap-phoenix.opam +++ b/bap-phoenix.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Dumps BAP project in the phoenix format" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-piqi.opam b/bap-piqi.opam index 2cbbc3198..2c5398563 100644 --- a/bap-piqi.opam +++ b/bap-piqi.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Serializes BAP Project in various formats using piqi" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-plugins.opam b/bap-plugins.opam index 3634ea9a2..2beb867a5 100644 --- a/bap-plugins.opam +++ b/bap-plugins.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Plugin management library" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-powerpc.opam b/bap-powerpc.opam index 3e4b8ef2a..5f92acd87 100644 --- a/bap-powerpc.opam +++ b/bap-powerpc.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP PowerPC semantics" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-dictionary.opam b/bap-primus-dictionary.opam index 2b2618d5d..fb8c51ffc 100644 --- a/bap-primus-dictionary.opam +++ b/bap-primus-dictionary.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Provides dictionary data structure to Primus Lisp" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-exploring-scheduler.opam b/bap-primus-exploring-scheduler.opam index 58ca0b5a5..3d93f42b5 100644 --- a/bap-primus-exploring-scheduler.opam +++ b/bap-primus-exploring-scheduler.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus scheduler" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-greedy-scheduler.opam b/bap-primus-greedy-scheduler.opam index 58ca0b5a5..3d93f42b5 100644 --- a/bap-primus-greedy-scheduler.opam +++ b/bap-primus-greedy-scheduler.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus scheduler" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-limit.opam b/bap-primus-limit.opam index 49ee030b6..93de2d571 100644 --- a/bap-primus-limit.opam +++ b/bap-primus-limit.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Enables BAP Primus interpreter termination " maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-lisp.opam b/bap-primus-lisp.opam index 2e4af1ad1..e918e2f8a 100644 --- a/bap-primus-lisp.opam +++ b/bap-primus-lisp.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Primus Lisp runtime" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-loader.opam b/bap-primus-loader.opam index 59c1e5248..a9c1f23ae 100644 --- a/bap-primus-loader.opam +++ b/bap-primus-loader.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Primus loader" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-mark-visited.opam b/bap-primus-mark-visited.opam index 07a3ff92e..775583d12 100644 --- a/bap-primus-mark-visited.opam +++ b/bap-primus-mark-visited.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus coverage tracker" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-powerpc.opam b/bap-primus-powerpc.opam index bdb819b30..0ce841915 100644 --- a/bap-primus-powerpc.opam +++ b/bap-primus-powerpc.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus PowerPC support module" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-print.opam b/bap-primus-print.opam index 46307afbf..bbc2291e2 100644 --- a/bap-primus-print.opam +++ b/bap-primus-print.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus state and observations printer" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-promiscuous.opam b/bap-primus-promiscuous.opam index fca0eb206..d7d637053 100644 --- a/bap-primus-promiscuous.opam +++ b/bap-primus-promiscuous.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus promiscuous executor" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-propagate-taint.opam b/bap-primus-propagate-taint.opam index b5d2b5b79..14f60e2fc 100644 --- a/bap-primus-propagate-taint.opam +++ b/bap-primus-propagate-taint.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus legacy taint engine compatibility layer" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-random.opam b/bap-primus-random.opam index 8fd3c184b..3f35357cc 100644 --- a/bap-primus-random.opam +++ b/bap-primus-random.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus value randomizer" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-region.opam b/bap-primus-region.opam index 93eaf68f2..7e0430f4d 100644 --- a/bap-primus-region.opam +++ b/bap-primus-region.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus Lisp regions library" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-round-robin.opam b/bap-primus-round-robin.opam index 58ca0b5a5..3d93f42b5 100644 --- a/bap-primus-round-robin.opam +++ b/bap-primus-round-robin.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus scheduler" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-symbolic-executor.opam b/bap-primus-symbolic-executor.opam index a4bf1a179..cd392b361 100644 --- a/bap-primus-symbolic-executor.opam +++ b/bap-primus-symbolic-executor.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus symbolic executor" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-systems.opam b/bap-primus-systems.opam index 48ccd4c26..6a119a05f 100644 --- a/bap-primus-systems.opam +++ b/bap-primus-systems.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus systems repository" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-taint.opam b/bap-primus-taint.opam index 8e0db736d..213196e6a 100644 --- a/bap-primus-taint.opam +++ b/bap-primus-taint.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus taint analysis framework" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-test.opam b/bap-primus-test.opam index 221d08741..73c0051fc 100644 --- a/bap-primus-test.opam +++ b/bap-primus-test.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus testing and program verification framework" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-track-visited.opam b/bap-primus-track-visited.opam index 587c2cd31..c3220b692 100644 --- a/bap-primus-track-visited.opam +++ b/bap-primus-track-visited.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus coverage tracker library" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-wandering.opam b/bap-primus-wandering.opam index 58ca0b5a5..3d93f42b5 100644 --- a/bap-primus-wandering.opam +++ b/bap-primus-wandering.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus scheduler" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus-x86.opam b/bap-primus-x86.opam index b267464c6..236b9dca3 100644 --- a/bap-primus-x86.opam +++ b/bap-primus-x86.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A BAP Primus X86 support package" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-primus.opam b/bap-primus.opam index dfe608b3e..704563a70 100644 --- a/bap-primus.opam +++ b/bap-primus.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Microexecution Framework" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-print.opam b/bap-print.opam index 8d4375ec6..939672077 100644 --- a/bap-print.opam +++ b/bap-print.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Prints BAP project in various human-readable formats" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-radare2.opam b/bap-radare2.opam index f6642d428..214cfe681 100644 --- a/bap-radare2.opam +++ b/bap-radare2.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Radare2 integration" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-raw.opam b/bap-raw.opam index 34c5787ef..c4870ebcf 100644 --- a/bap-raw.opam +++ b/bap-raw.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP raw files loader" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-recipe-command.opam b/bap-recipe-command.opam index 565f0021e..3a629f9b4 100644 --- a/bap-recipe-command.opam +++ b/bap-recipe-command.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Manages BAP recipes" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-recipe.opam b/bap-recipe.opam index 49dbe7f98..ecd68a65d 100644 --- a/bap-recipe.opam +++ b/bap-recipe.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Bundles together command-line options and resources" description: "A recipe is either a single file or a directory (optionally zipped) that contains a parametrized specification of command-line parameters and support files if necessary." diff --git a/bap-relation.opam b/bap-relation.opam index e5b32520d..24a31a14f 100644 --- a/bap-relation.opam +++ b/bap-relation.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A set of relations (bimap) " description: "A relation between two sets is a set of pairs made from the elements of these sets. This library implements a bidirectional mapping between two sets and computes their matching that defines bijections between the sets." diff --git a/bap-relocatable.opam b/bap-relocatable.opam index 9d209e9ce..e8697c36e 100644 --- a/bap-relocatable.opam +++ b/bap-relocatable.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP plugin that manages symbol relocations" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-report.opam b/bap-report.opam index 9232a6ccd..27e8bef55 100644 --- a/bap-report.opam +++ b/bap-report.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP plugin for reporting progress bars and statuses" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-riscv.opam b/bap-riscv.opam index cfe2f57df..6cd6418d2 100644 --- a/bap-riscv.opam +++ b/bap-riscv.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP RISCV support package" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-run.opam b/bap-run.opam index 5895e5e5c..809526e14 100644 --- a/bap-run.opam +++ b/bap-run.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Primus Framework frontend" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-signatures.opam b/bap-signatures.opam index d45f5dbcd..f3a6e59a3 100644 --- a/bap-signatures.opam +++ b/bap-signatures.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "A data package with BAP binary signatures" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-specification.opam b/bap-specification.opam index 0f072a026..1210a8478 100644 --- a/bap-specification.opam +++ b/bap-specification.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Extracts meta information from binaries" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-ssa.opam b/bap-ssa.opam index 3bf6f1bd5..e56118f3d 100644 --- a/bap-ssa.opam +++ b/bap-ssa.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Translates program into the SSA form" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-std.opam b/bap-std.opam index a7a3ad091..25b921ffe 100644 --- a/bap-std.opam +++ b/bap-std.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Standard Library" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] @@ -29,6 +30,7 @@ depends: [ "monads" {= version} "ocamlfind" {>= "1.5.6" & < "2.0.0"} "ogre" {= version} + "ounit" "ppx_bap" {= version} "regular" {= version} "result" diff --git a/bap-strings.opam b/bap-strings.opam index a4792613b..0640b17af 100644 --- a/bap-strings.opam +++ b/bap-strings.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Text utilities useful in Binary Analysis and Reverse Engineering" description: """ The library provides several algorithms: diff --git a/bap-stub-resolver.opam b/bap-stub-resolver.opam index d3f246c1b..0c6b96116 100644 --- a/bap-stub-resolver.opam +++ b/bap-stub-resolver.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Relinks stubs to their implementations" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] @@ -14,9 +15,9 @@ depends: [ "bap-core-theory" {= version} "bap-knowledge" {= version} "bap-relation" {= version} - "bap-sexp" {= version} "bap-std" {= version} "bitvec-order" {= version} + "bitvec-sexp" {= version} "bitvec" {= version} "core_kernel" {>= "v0.14" & < "v0.16"} "ogre" {= version} diff --git a/bap-symbol-reader.opam b/bap-symbol-reader.opam index b951047bf..4fa97fecc 100644 --- a/bap-symbol-reader.opam +++ b/bap-symbol-reader.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Reads symbol information from a file" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-systemz.opam b/bap-systemz.opam index 19c8e30e7..48d2313ed 100644 --- a/bap-systemz.opam +++ b/bap-systemz.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Systemz support package" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-taint-propagator.opam b/bap-taint-propagator.opam index 189fe7e90..91032a812 100644 --- a/bap-taint-propagator.opam +++ b/bap-taint-propagator.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Legacy Taint propagation engine" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-taint.opam b/bap-taint.opam index 220021799..a8d4f8d51 100644 --- a/bap-taint.opam +++ b/bap-taint.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Taint Analysis Framework" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-term-mapper.opam b/bap-term-mapper.opam index 9d5d0a844..2d972c03e 100644 --- a/bap-term-mapper.opam +++ b/bap-term-mapper.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP program transformation DSL" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-thumb.opam b/bap-thumb.opam index 08b3e0817..5e96c8cdc 100644 --- a/bap-thumb.opam +++ b/bap-thumb.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Thumb support package" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-trace.opam b/bap-trace.opam index 036ffe992..0db588e72 100644 --- a/bap-trace.opam +++ b/bap-trace.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP plugin for loading and inspecting execution traces" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-traces.opam b/bap-traces.opam index 88a5f2d43..d1caddf22 100644 --- a/bap-traces.opam +++ b/bap-traces.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP execution traces abstractions" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-trivial-condition-form.opam b/bap-trivial-condition-form.opam index ac665d576..cb456d5c7 100644 --- a/bap-trivial-condition-form.opam +++ b/bap-trivial-condition-form.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Eliminates complex branch conditions" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-warn-unused.opam b/bap-warn-unused.opam index 7c8c7faac..922125baa 100644 --- a/bap-warn-unused.opam +++ b/bap-warn-unused.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "Warns if an unused argument may cause an issue" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] diff --git a/bap-x86.opam b/bap-x86.opam index dc2226909..c56c94596 100644 --- a/bap-x86.opam +++ b/bap-x86.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP x86/x86-64 support package" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] @@ -25,7 +26,6 @@ depends: [ "ogre" {= version} "ppx_bap" {= version} "regular" {= version} - "str" "zarith" "odoc" {with-doc} ] diff --git a/bap.opam b/bap.opam index e4bd418e9..488d53740 100644 --- a/bap.opam +++ b/bap.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" synopsis: "BAP Meta Package" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] @@ -10,6 +11,26 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} "bap-core" {= version} + "bap-beagle" {= version} + "bap-beagle-strings" {= version} + "bap-constant-tracker" {= version} + "bap-microx" {= version} + "bap-primus-dictionary" {= version} + "bap-primus-powerpc" {= version} + "bap-primus-propagate-taint" {= version} + "bap-primus-random" {= version} + "bap-primus-region" {= version} + "bap-primus-support" {= version} + "bap-primus-systems" {= version} + "bap-primus-taint" {= version} + "bap-primus-test" {= version} + "bap-run" {= version} + "bap-strings" {= version} + "bap-taint" {= version} + "bap-taint-propagator" {= version} + "bap-term-mapper" {= version} + "bap-trivial-condition-form" {= version} + "bap-warn-unused" {= version} "odoc" {with-doc} ] build: [ diff --git a/bare.opam b/bare.opam index 53b67a8ed..d72fa2baa 100644 --- a/bare.opam +++ b/bare.opam @@ -1,12 +1,20 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "BAP Rule Engine" +description: + "BARE is a library that provides the non-linear pattern matching on streams of facts that are represented as s-expressions." maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap" "bap-library"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "bap-base" {= version} + "core_kernel" {>= "v0.14" & < "v0.16"} + "parsexp" {>= "v0.14" & < "v0.16"} "odoc" {with-doc} ] build: [ diff --git a/bitvec-binprot.opam b/bitvec-binprot.opam index 53b67a8ed..e89ed0b3a 100644 --- a/bitvec-binprot.opam +++ b/bitvec-binprot.opam @@ -1,12 +1,18 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "Janestreet's Binprot serialization for Bitvec" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "bin_prot" {>= "v0.14" & < "v0.16"} + "bitvec" {= version} + "ppx_bap" {= version} "odoc" {with-doc} ] build: [ diff --git a/bitvec-order.opam b/bitvec-order.opam index 53b67a8ed..9b9454258 100644 --- a/bitvec-order.opam +++ b/bitvec-order.opam @@ -1,12 +1,18 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "The Base-compatible comparators and orders for Bitvec " maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "base" {>= "v0.14"} + "bitvec-sexp" {= version} + "bitvec" {= version} "odoc" {with-doc} ] build: [ diff --git a/bitvec-sexp.opam b/bitvec-sexp.opam index 53b67a8ed..edebc4cc7 100644 --- a/bitvec-sexp.opam +++ b/bitvec-sexp.opam @@ -1,12 +1,17 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "Sexp serializers for Bitvec" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap" "sexp"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "sexplib0" {>= "v0.14"} + "bitvec" {= version} "odoc" {with-doc} ] build: [ diff --git a/bitvec.opam b/bitvec.opam index 53b67a8ed..ff290f8f3 100644 --- a/bitvec.opam +++ b/bitvec.opam @@ -1,12 +1,16 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "Fixed-size bitvectors and modular arithmetic, based on Zarith" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap" "bap-library"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "zarith" {>= "1.4"} "odoc" {with-doc} ] build: [ diff --git a/dune-project b/dune-project index 56b9abe97..ec2230cfe 100644 --- a/dune-project +++ b/dune-project @@ -3,6 +3,7 @@ (name bap) (license MIT) +(version master) (authors "The BAP Team") (maintainers "Ivan Gotovchits ") (source (github BinaryAnalysisPlatform/bap)) @@ -31,16 +32,99 @@ (share semantics) (share signatures) (share site_lisp)) - (depends (bap-core (= :version)))) + (depends + (bap-core (= :version)) + (bap-beagle (= :version)) + (bap-beagle-strings (= :version)) + (bap-constant-tracker (= :version)) + (bap-microx (= :version)) + (bap-primus-dictionary (= :version)) + (bap-primus-powerpc (= :version)) + (bap-primus-propagate-taint (= :version)) + (bap-primus-random (= :version)) + (bap-primus-region (= :version)) + (bap-primus-support (= :version)) + (bap-primus-systems (= :version)) + (bap-primus-taint (= :version)) + (bap-primus-test (= :version)) + (bap-run (= :version)) + (bap-strings (= :version)) + (bap-taint (= :version)) + (bap-taint-propagator (= :version)) + (bap-term-mapper (= :version)) + (bap-trivial-condition-form (= :version)) + (bap-warn-unused (= :version)))) (package (name bap-core) - (synopsis "the core BAP packages") + (synopsis "The core BAP packages") (tags (bap meta)) (description "the meta package to install the core parts of BAP") (depends - bap-abi - bap-analyze)) + (bap-abi (= :version)) + (bap-analyze (= :version)) + (bap-api (= :version)) + (bap-arm (= :version)) + (bap-bil (= :version)) + (bap-build (= :version)) + (bap-bundle (= :version)) + (bap-byteweight (= :version)) + (bap-cache (= :version)) + (bap-callgraph-collator (= :version)) + (bap-callsites (= :version)) + (bap-c (= :version)) + (bap-cxxfilt (= :version)) + (bap-demangle (= :version)) + (bap-dependencies (= :version)) + (bap-disassemble (= :version)) + (bap-dump-symbols (= :version)) + (bap-elementary (= :version)) + (bap-flatten (= :version)) + (bap-frontc (= :version)) + (bap-frontend (= :version)) + (bap-glibc-runtime (= :version)) + (bap-llvm (= :version)) + (bap-mc (= :version)) + (bap-mips (= :version)) + (bap-objdump (= :version)) + (bap-optimization (= :version)) + (bap-patterns (= :version)) + (bap-plugins (= :version)) + (bap-powerpc (= :version)) + (bap-primus-lisp (= :version)) + (bap-primus (= :version)) + (bap-print (= :version)) + (bap-raw (= :version)) + (bap-recipe-command (= :version)) + (bap-recipe (= :version)) + (bap-relation (= :version)) + (bap-relocatable (= :version)) + (bap-report (= :version)) + (bap-riscv (= :version)) + (bap-specification (= :version)) + (bap-ssa (= :version)) + (bap-std (= :version)) + (bap-stub-resolver (= :version)) + (bap-symbol-reader (= :version)) + (bap-systemz (= :version)) + (bap-thumb (= :version)) + (bap-toplevel (= :version)) + (bap-x86 (= :version)))) + +(package + (name bap-extra) + (synopsis "The extra BAP packages") + (tags (bap meta)) + (description "the meta package to install the core parts of BAP") + (depends + (bap (= :version)) + (bap-byteweight-frontend (= :version)) + (bap-elf (= :version)) + (bap-primus-symbolic-executor (= :version)) + (bap-ghidra (= :version)) + (bap-trace (= :version)) + (bap-traces (= :version)) + (bap-radare2 (= :version)))) (package (name bap-base) @@ -50,7 +134,7 @@ (base (and (>= v0.14) (< v0.16))) (dune (>= 2.8)) dune-configurator - dune-sites + dune-site (ocaml (> 4.08.0)) (stdio (and (>= v0.14) (< v0.16))))) @@ -390,12 +474,12 @@ details of the program behavior.") (synopsis "Floating-point approximations of elementary functions") (tags (bap bap-library floating-points)) (depends - (bap-bitvec (= :version)) + (bap-base (= :version)) (bap-core-theory (= :version)) (bap-knowledge (= :version)) (bap-std (= :version)) - (core_kernel (and (>= v0.14) (< v0.16))) - (bap-base (= :version)))) + (bitvec (= :version)) + (core_kernel (and (>= v0.14) (< v0.16))))) (package (name bap-elf) @@ -516,7 +600,7 @@ be seen as a common denominator between Lwt and Async libraries.") (tags (bap bap-plugin llvm)) (depends (bap-std (= :version)) - (conf-bap-llvm (>= 1.8.0)) + (conf-bap-llvm (>= 1.8)) (core_kernel (and (>= v0.14) (< v0.16))) mmap (monads (= :version)) @@ -1164,6 +1248,7 @@ between the sets.") (monads (= :version)) (ocamlfind (and (>= 1.5.6) (< 2.0.0))) (ogre (= :version)) + ounit (ppx_bap (= :version)) (regular (= :version)) result @@ -1214,9 +1299,9 @@ The library provides several algorithms: (bap-core-theory (= :version)) (bap-knowledge (= :version)) (bap-relation (= :version)) - (bap-sexp (= :version)) (bap-std (= :version)) (bitvec-order (= :version)) + (bitvec-sexp (= :version)) (bitvec (= :version)) (core_kernel (and (>= v0.14) (< v0.16))) (ogre (= :version)) @@ -1373,19 +1458,142 @@ The library provides several algorithms: (ogre (= :version)) (ppx_bap (= :version)) (regular (= :version)) - str zarith)) -(package (name bare)) -(package (name bitvec)) -(package (name bitvec-binprot)) -(package (name bitvec-order)) -(package (name bitvec-sexp)) -(package (name graphlib)) -(package (name monads)) -(package (name ogre)) -(package (name ppx_bap)) -(package (name regular)) -(package (name text-tags)) +(package + (name bare) + (synopsis "BAP Rule Engine") + (description "\ +BARE is a library that provides the non-linear pattern matching on streams \ +of facts that are represented as s-expressions.") + (tags (bap bap-library)) + (depends + (bap-base (= :version)) + (core_kernel (and (>= v0.14) (< v0.16))) + (parsexp (and (>= v0.14) (< v0.16))))) + +(package + (name bitvec) + (synopsis "Fixed-size bitvectors and modular arithmetic, based on Zarith") + (tags (bap bap-library)) + (depends (zarith (>= 1.4)))) + +(package + (name bitvec-binprot) + (synopsis "Janestreet's Binprot serialization for Bitvec") + (tags (bap)) + (depends + (bin_prot (and (>= v0.14) (< v0.16))) + (bitvec (= :version)) + (ppx_bap (= :version)))) + +(package + (name bitvec-order) + (synopsis "The Base-compatible comparators and orders for Bitvec ") + (tags (bap)) + (depends + (base (>= v0.14)) + (bitvec-sexp (= :version)) + (bitvec (= :version)))) + +(package + (name bitvec-sexp) + (synopsis "Sexp serializers for Bitvec") + (tags (bap sexp)) + (depends + (sexplib0 (>= v0.14)) + (bitvec (= :version)))) + +(package + (name graphlib) + (synopsis "Generic graph algorithms") + (description "\ +Graphlib is a generic library that extends the well-known OCamlGraph \ +library. Graphlib uses its own, richer, Graph interface that \ +is isomorphic to OCamlGraph's `Sigs.P` signature for persistant \ +graphs. Two functors witness the isomorphism of the interfaces: \ +`Graphlib.To_ocamlgraph` and `Graphlib.Of_ocamlgraph`. Thanks to \ +these functors, any algorithm written for OCamlGraph can be used on \ +`Graphlibs` graph and vice verse.") + (tags (bap graph)) + (depends + (bap-base (= :version)) + (core_kernel (and (>= v0.14) (< v0.16))) + ocamlgraph + (ppx_bap (= :version)) + (regular (= :version)))) + +(package + (name monads) + (synopsis "Monads and Monad Transfomers") + (description "Provides monad transformers for common monads.") + (tags (bap monad)) + (depends + (bap-base (= :version)) + (core_kernel (and (>= v0.14) (< v0.16))) + (ppx_bap (= :version)))) + +(package + (name ogre) + (synopsis "Pure OCaml Open Generic REpresentation NoSQL Database") + (description "\ +OGRE is a NoSQL document-style database that uses sexp for data \ +representation and provides a type safe monadic interface for quering \ +and updating documents") + (tags (bap sexp)) + (depends + (core_kernel (and (>= v0.14) (< v0.16))) + (bap-base (= :version)) + (monads (= :version)))) + +(package + (name ppx_bap) + (synopsis "BAP-blessed ppx rewriters") + (tags (bap ppx)) + (depends + (dune (>= 2.0.0)) + (ppx_assert (and (>= v0.14) (< v0.16))) + (ppx_bench (and (>= v0.14) (< v0.16))) + (ppx_bin_prot (and (>= v0.14) (< v0.16))) + (ppx_cold (and (>= v0.14) (< v0.16))) + (ppx_compare (and (>= v0.14) (< v0.16))) + (ppx_enumerate (and (>= v0.14) (< v0.16))) + (ppx_fields_conv (and (>= v0.14) (< v0.16))) + (ppx_hash (and (>= v0.14) (< v0.16))) + (ppx_here (and (>= v0.14) (< v0.16))) + (ppxlib (>= 0.15.0)) + (ppx_optcomp (and (>= v0.14) (< v0.16))) + (ppx_sexp_conv (and (>= v0.14) (< v0.16))) + (ppx_sexp_value (and (>= v0.14) (< v0.16))) + (ppx_variants_conv (and (>= v0.14) (< v0.16))))) + +(package + (name regular) + (synopsis "Regular Data Types") + (tags (bap data-structure)) + (description "\ +Provides functors and typeclasses implementing functionality expected \ +for a regular data type, like i/o, containers, printing, etc. \ + \ +In particular, the library includes: \ + \ +- module Data that adds generic i/o routines for each regular data type. \ +- module Cache that adds caching service for data types \ +- module Regular that glues everything together \ +- module Opaque for regular but opaque data types \ +- module Seq that extends Core_kernel's sequence module \ +- module Bytes that provides a rich core-like interface for Bytes data type.") + (depends + (core_kernel (and (>= v0.14) (< v0.16))) + (bap-base (= :version)) + (ppx_bap (= :version)))) + +(package + (name text-tags) + (synopsis "A library for rich formatting using semantic tags") + (tags (bap)) + (depends + (core_kernel (and (>= v0.14) (< v0.16))) + (bap-base (= :version)))) (generate_opam_files true) diff --git a/graphlib.opam b/graphlib.opam index 53b67a8ed..66a173818 100644 --- a/graphlib.opam +++ b/graphlib.opam @@ -1,12 +1,22 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "Generic graph algorithms" +description: + "Graphlib is a generic library that extends the well-known OCamlGraph library. Graphlib uses its own, richer, Graph interface that is isomorphic to OCamlGraph's `Sigs.P` signature for persistant graphs. Two functors witness the isomorphism of the interfaces: `Graphlib.To_ocamlgraph` and `Graphlib.Of_ocamlgraph`. Thanks to these functors, any algorithm written for OCamlGraph can be used on `Graphlibs` graph and vice verse." maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap" "graph"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "bap-base" {= version} + "core_kernel" {>= "v0.14" & < "v0.16"} + "ocamlgraph" + "ppx_bap" {= version} + "regular" {= version} "odoc" {with-doc} ] build: [ diff --git a/lib/bare/bare.ml b/lib/bare/bare.ml index 2b766b062..c935c166a 100644 --- a/lib/bare/bare.ml +++ b/lib/bare/bare.ml @@ -69,7 +69,7 @@ module Rule = struct let empty = String.Map.empty let binding x rhs = String.Map.singleton x rhs - let rec sexp_fold_atoms ~get_pos ~init ~f sexp = + let sexp_fold_atoms ~get_pos ~init ~f sexp = let rec loop init s = match s with | Sexp.Atom x -> f init (get_pos s) x | Sexp.List xs -> List.fold ~init ~f:loop xs in diff --git a/monads.opam b/monads.opam index 53b67a8ed..982dad336 100644 --- a/monads.opam +++ b/monads.opam @@ -1,12 +1,19 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "Monads and Monad Transfomers" +description: "Provides monad transformers for common monads." maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap" "monad"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "bap-base" {= version} + "core_kernel" {>= "v0.14" & < "v0.16"} + "ppx_bap" {= version} "odoc" {with-doc} ] build: [ diff --git a/ogre.opam b/ogre.opam index 53b67a8ed..84dee642d 100644 --- a/ogre.opam +++ b/ogre.opam @@ -1,12 +1,20 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "Pure OCaml Open Generic REpresentation NoSQL Database" +description: + "OGRE is a NoSQL document-style database that uses sexp for data representation and provides a type safe monadic interface for quering and updating documents" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap" "sexp"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "core_kernel" {>= "v0.14" & < "v0.16"} + "bap-base" {= version} + "monads" {= version} "odoc" {with-doc} ] build: [ diff --git a/ppx_bap.opam b/ppx_bap.opam index 53b67a8ed..f3dbac484 100644 --- a/ppx_bap.opam +++ b/ppx_bap.opam @@ -1,12 +1,29 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "BAP-blessed ppx rewriters" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap" "ppx"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ - "dune" {>= "2.8"} + "dune" {>= "2.8" & >= "2.0.0"} + "ppx_assert" {>= "v0.14" & < "v0.16"} + "ppx_bench" {>= "v0.14" & < "v0.16"} + "ppx_bin_prot" {>= "v0.14" & < "v0.16"} + "ppx_cold" {>= "v0.14" & < "v0.16"} + "ppx_compare" {>= "v0.14" & < "v0.16"} + "ppx_enumerate" {>= "v0.14" & < "v0.16"} + "ppx_fields_conv" {>= "v0.14" & < "v0.16"} + "ppx_hash" {>= "v0.14" & < "v0.16"} + "ppx_here" {>= "v0.14" & < "v0.16"} + "ppxlib" {>= "0.15.0"} + "ppx_optcomp" {>= "v0.14" & < "v0.16"} + "ppx_sexp_conv" {>= "v0.14" & < "v0.16"} + "ppx_sexp_value" {>= "v0.14" & < "v0.16"} + "ppx_variants_conv" {>= "v0.14" & < "v0.16"} "odoc" {with-doc} ] build: [ diff --git a/regular.opam b/regular.opam index 53b67a8ed..4d9243f6a 100644 --- a/regular.opam +++ b/regular.opam @@ -1,12 +1,20 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "Regular Data Types" +description: + "Provides functors and typeclasses implementing functionality expected for a regular data type, like i/o, containers, printing, etc. In particular, the library includes: - module Data that adds generic i/o routines for each regular data type. - module Cache that adds caching service for data types - module Regular that glues everything together - module Opaque for regular but opaque data types - module Seq that extends Core_kernel's sequence module - module Bytes that provides a rich core-like interface for Bytes data type." maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap" "data-structure"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "core_kernel" {>= "v0.14" & < "v0.16"} + "bap-base" {= version} + "ppx_bap" {= version} "odoc" {with-doc} ] build: [ diff --git a/text-tags.opam b/text-tags.opam index 53b67a8ed..2cf1a5c9d 100644 --- a/text-tags.opam +++ b/text-tags.opam @@ -1,12 +1,17 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "master" +synopsis: "A library for rich formatting using semantic tags" maintainer: ["Ivan Gotovchits "] authors: ["The BAP Team"] license: "MIT" +tags: ["bap"] homepage: "https://github.com/BinaryAnalysisPlatform/bap" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" depends: [ "dune" {>= "2.8"} + "core_kernel" {>= "v0.14" & < "v0.16"} + "bap-base" {= version} "odoc" {with-doc} ] build: [