From 2f6f081f48b5b33831cf41f98a2a935b66d449bf Mon Sep 17 00:00:00 2001 From: ivg Date: Wed, 8 Dec 2021 15:13:49 -0500 Subject: [PATCH] releases BAP 2.4.0 This release brings This release brings Ghidra as the new disassembler and lifting backend, significantly improves our Thumb lifter (especially with respect to interworking), adds forward-chainging rules and context variables to the knowledge base, support for LLVM 12, a pass that flattens IR, and a new framework for pattern matching on bytes that leverages the available patterns and actions from the Ghidra project. It also contains many bug fixes and improvements, most notable performance improvements that make bap from 30 to 50 per cent faster. See below for the full list of changes. Package-wise, we split bap into three parts: `bap-core`, `bap`, and `bap-extra`. The `bap-core` metapackage contains the minimal set of core packages that is necessary to disassemble the binary, the `bap` package extends this set with various analysis, finally, `bap-extra` includes rarely used or hard to install packages, such as the symbolic executor, which is very heavy on installation, and `bap-ghidra`, which is right now in a very experimental stage and is only installable on Ubuntu 18.04, since it requires the libghidra-dev package available from ppa, ``` sudo add-apt-repository ppa:ivg/ghidra -y sudo apt-get install libghidra-dev -y sudo apt-get install libghidra-data -y ``` Changelog ========= Features -------- - BinaryAnalysisPlatform/bap#1325 adds armeb abi - BinaryAnalysisPlatform/bap#1326 adds experimental Ghidra disassembler and lifting backend - BinaryAnalysisPlatform/bap#1332 adds the flatten pass - BinaryAnalysisPlatform/bap#1341 adds context variables to the knowledge base - BinaryAnalysisPlatform/bap#1343 adds register aliases to the Core Theory - BinaryAnalysisPlatform/bap#1358 adds LLVM 12 support - BinaryAnalysisPlatform/bap#1360 extends the knowledge monad interface - BinaryAnalysisPlatform/bap#1363 adds forward-chaining rules and Primus Lisp methods - BinaryAnalysisPlatform/bap#1364 adds a generic byte pattern matcher based on Ghidra - BinaryAnalysisPlatform/bap#1365 adds support for the Thumb IT blocks - BinaryAnalysisPlatform/bap#1369 adds some missing `t2LDR.-i12` instructions to the Thumb lifter Improvements ------------ - BinaryAnalysisPlatform/bap#1336 improves the `main` function discovery heuristics - BinaryAnalysisPlatform/bap#1337 adds more Primus Lisp stubs and fixes some existing - BinaryAnalysisPlatform/bap#1342 uses context variables to store the current theory - BinaryAnalysisPlatform/bap#1344 uses the context variables to store the Primus Lisp state - BinaryAnalysisPlatform/bap#1355 tweaks symbolization and function start identification facilities - BinaryAnalysisPlatform/bap#1353 improves arm-family support - BinaryAnalysisPlatform/bap#1356 stops proposing aliases as potential subroutine names - BinaryAnalysisPlatform/bap#1361 rewrites knowledge and primus monads - BinaryAnalysisPlatform/bap#1370 tweaks Primus Lisp' method resolution to keep super methods - BinaryAnalysisPlatform/bap#1375 error handling and performance tweaks - BinaryAnalysisPlatform/bap#1378 improves reification of calls in the IR theory (part I) - BinaryAnalysisPlatform/bap#1379 improves semantics of some ITT instructions - BinaryAnalysisPlatform/bap#1380 Fixes handling of fallthroughs in IR theory Bug Fixes --------- - BinaryAnalysisPlatform/bap#1328 fixes C.ABI.Args `popn` and `align_even` operators - BinaryAnalysisPlatform/bap#1329 fixes frame layout calculation in the Primus loader - BinaryAnalysisPlatform/bap#1330 fixes the address size computation in the llvm backend - BinaryAnalysisPlatform/bap#1333 fixes and improves label handling in the IR theor - BinaryAnalysisPlatform/bap#1338 fixes core:eff theory - BinaryAnalysisPlatform/bap#1340 fixes the Node.update for graphs with unlabeled nodes - BinaryAnalysisPlatform/bap#1347 fixes a knowledge base race condition in the run plugin - BinaryAnalysisPlatform/bap#1348 fixes endianness in the raw loader - BinaryAnalysisPlatform/bap#1349 short-circuits evaluation of terms in Bap_main.init - BinaryAnalysisPlatform/bap#1350 fixes variable rewriter and some Primus Lisp symbolic functions - BinaryAnalysisPlatform/bap#1351 fixes and improves aarch64 lifter - BinaryAnalysisPlatform/bap#1352 fixes several Primus Lisp stubs - BinaryAnalysisPlatform/bap#1357 fixes some T32 instructions that are accessing to PC - BinaryAnalysisPlatform/bap#1359 fixes handling of let-bound variables in flatten pass - BinaryAnalysisPlatform/bap#1366 fixes a bug in the `cmp` semantics - BinaryAnalysisPlatform/bap#1374 fixes handling modified immediate constants in ARM T32 encoding - BinaryAnalysisPlatform/bap#1376 fixes fresh variable generation - BinaryAnalysisPlatform/bap#1377 fixes the IR theory implementation Tooling ------- - BinaryAnalysisPlatform/bap#1319 fixes the shared folder in deb packages - BinaryAnalysisPlatform/bap#1320 removes sudo from postinst and postrm actions in the deb packages - BinaryAnalysisPlatform/bap#1321 enables push flag in the publish-docker-image action - BinaryAnalysisPlatform/bap#1323 fixes the ppx_bap version in the dev-repo opam file - BinaryAnalysisPlatform/bap#1331 fixes the docker publisher, also enables manual triggering - BinaryAnalysisPlatform/bap#1327 fixes a typo in the ubuntu dockerfiles - BinaryAnalysisPlatform/bap#1345 fixes bapdoc - BinaryAnalysisPlatform/bap#1346 nightly tests are failing due to a bug upstream --- packages/bap-abi/bap-abi.2.4.0/opam | 31 +++++++ packages/bap-analyze/bap-analyze.2.4.0/opam | 41 +++++++++ packages/bap-api/bap-api.2.4.0/opam | 35 ++++++++ packages/bap-arm/bap-arm.2.4.0/opam | 51 +++++++++++ .../bap-beagle-strings.2.4.0/opam | 32 +++++++ packages/bap-beagle/bap-beagle.2.4.0/opam | 40 +++++++++ packages/bap-bil/bap-bil.2.4.0/opam | 37 ++++++++ packages/bap-build/bap-build.2.4.0/opam | 40 +++++++++ packages/bap-bundle/bap-bundle.2.4.0/opam | 33 +++++++ .../bap-byteweight-frontend.2.4.0/opam | 41 +++++++++ .../bap-byteweight/bap-byteweight.2.4.0/opam | 45 ++++++++++ packages/bap-c/bap-c.2.4.0/opam | 33 +++++++ packages/bap-cache/bap-cache.2.4.0/opam | 40 +++++++++ .../bap-callgraph-collator.2.4.0/opam | 35 ++++++++ .../bap-callsites/bap-callsites.2.4.0/opam | 39 +++++++++ .../bap-constant-tracker.2.4.0/opam | 31 +++++++ .../bap-core-theory.2.4.0/opam | 40 +++++++++ packages/bap-core/bap-core.2.4.0/opam | 85 +++++++++++++++++++ packages/bap-cxxfilt/bap-cxxfilt.2.4.0/opam | 34 ++++++++ packages/bap-demangle/bap-demangle.2.4.0/opam | 36 ++++++++ .../bap-dependencies.2.4.0/opam | 39 +++++++++ .../bap-disassemble.2.4.0/opam | 42 +++++++++ .../bap-dump-symbols.2.4.0/opam | 36 ++++++++ packages/bap-dwarf/bap-dwarf.2.4.0/opam | 30 +++++++ .../bap-elementary/bap-elementary.2.4.0/opam | 32 +++++++ packages/bap-elf/bap-elf.2.4.0/opam | 38 +++++++++ packages/bap-extra/bap-extra.2.4.0/opam | 41 +++++++++ packages/bap-flatten/bap-flatten.2.4.0/opam | 27 ++++++ packages/bap-frontc/bap-frontc.2.4.0/opam | 29 +++++++ packages/bap-frontend/bap-frontend.2.4.0/opam | 46 ++++++++++ .../bap-fsi-benchmark.2.4.0/opam | 35 ++++++++ packages/bap-future/bap-future.2.4.0/opam | 35 ++++++++ packages/bap-ghidra/bap-ghidra.2.4.0/opam | 43 ++++++++++ .../bap-glibc-runtime.2.4.0/opam | 40 +++++++++ .../bap-ida-plugin/bap-ida-plugin.2.4.0/opam | 33 +++++++ packages/bap-ida/bap-ida.2.4.0/opam | 46 ++++++++++ .../bap-knowledge/bap-knowledge.2.4.0/opam | 39 +++++++++ .../bap-llvm.2.4.0/files/detect.travis | 5 ++ packages/bap-llvm/bap-llvm.2.4.0/opam | 56 ++++++++++++ packages/bap-main/bap-main.2.4.0/opam | 38 +++++++++ packages/bap-mc/bap-mc.2.4.0/opam | 50 +++++++++++ packages/bap-microx/bap-microx.2.4.0/opam | 30 +++++++ packages/bap-mips/bap-mips.2.4.0/opam | 42 +++++++++ packages/bap-objdump/bap-objdump.2.4.0/opam | 42 +++++++++ .../bap-optimization.2.4.0/opam | 37 ++++++++ packages/bap-patterns/bap-patterns.2.4.0/opam | 54 ++++++++++++ packages/bap-phoenix/bap-phoenix.2.4.0/opam | 47 ++++++++++ packages/bap-piqi/bap-piqi.2.4.0/opam | 42 +++++++++ packages/bap-plugins/bap-plugins.2.4.0/opam | 33 +++++++ packages/bap-powerpc/bap-powerpc.2.4.0/opam | 46 ++++++++++ .../bap-primus-dictionary.2.4.0/opam | 38 +++++++++ .../bap-primus-exploring-scheduler.2.4.0/opam | 33 +++++++ .../bap-primus-greedy-scheduler.2.4.0/opam | 32 +++++++ .../bap-primus-limit.2.4.0/opam | 31 +++++++ .../bap-primus-lisp.2.4.0/opam | 48 +++++++++++ .../bap-primus-loader.2.4.0/opam | 35 ++++++++ .../bap-primus-mark-visited.2.4.0/opam | 32 +++++++ .../bap-primus-powerpc.2.4.0/opam | 30 +++++++ .../bap-primus-print.2.4.0/opam | 38 +++++++++ .../bap-primus-promiscuous.2.4.0/opam | 32 +++++++ .../bap-primus-propagate-taint.2.4.0/opam | 37 ++++++++ .../bap-primus-random.2.4.0/opam | 35 ++++++++ .../bap-primus-region.2.4.0/opam | 34 ++++++++ .../opam | 33 +++++++ .../bap-primus-support.2.4.0/opam | 28 ++++++ .../bap-primus-symbolic-executor.2.4.0/opam | 49 +++++++++++ .../bap-primus-systems.2.4.0/opam | 41 +++++++++ .../bap-primus-taint.2.4.0/opam | 32 +++++++ .../bap-primus-test.2.4.0/opam | 47 ++++++++++ .../bap-primus-track-visited.2.4.0/opam | 31 +++++++ .../bap-primus-wandering-scheduler.2.4.0/opam | 33 +++++++ .../bap-primus-x86/bap-primus-x86.2.4.0/opam | 34 ++++++++ packages/bap-primus/bap-primus.2.4.0/opam | 55 ++++++++++++ packages/bap-print/bap-print.2.4.0/opam | 43 ++++++++++ packages/bap-radare2/bap-radare2.2.4.0/opam | 45 ++++++++++ packages/bap-raw/bap-raw.2.4.0/opam | 31 +++++++ .../bap-recipe-command.2.4.0/opam | 36 ++++++++ packages/bap-recipe/bap-recipe.2.4.0/opam | 34 ++++++++ packages/bap-relation/bap-relation.2.4.0/opam | 33 +++++++ .../bap-relocatable.2.4.0/opam | 50 +++++++++++ packages/bap-report/bap-report.2.4.0/opam | 30 +++++++ packages/bap-riscv/bap-riscv.2.4.0/opam | 47 ++++++++++ packages/bap-run/bap-run.2.4.0/opam | 34 ++++++++ .../bap-specification.2.4.0/opam | 34 ++++++++ packages/bap-ssa/bap-ssa.2.4.0/opam | 27 ++++++ packages/bap-std/bap-std.2.4.0/opam | 79 +++++++++++++++++ packages/bap-strings/bap-strings.2.4.0/opam | 44 ++++++++++ .../bap-stub-resolver.2.4.0/opam | 55 ++++++++++++ .../bap-symbol-reader.2.4.0/opam | 44 ++++++++++ packages/bap-systemz/bap-systemz.2.4.0/opam | 43 ++++++++++ .../bap-taint-propagator.2.4.0/opam | 29 +++++++ packages/bap-taint/bap-taint.2.4.0/opam | 42 +++++++++ .../bap-term-mapper.2.4.0/opam | 42 +++++++++ packages/bap-thumb/bap-thumb.2.4.0/opam | 45 ++++++++++ packages/bap-toplevel/bap-toplevel.2.4.0/opam | 38 +++++++++ packages/bap-trace/bap-trace.2.4.0/opam | 45 ++++++++++ packages/bap-traces/bap-traces.2.4.0/opam | 43 ++++++++++ .../bap-trivial-condition-form.2.4.0/opam | 35 ++++++++ .../bap-warn-unused.2.4.0/opam | 38 +++++++++ packages/bap-x86/bap-x86.2.4.0/opam | 48 +++++++++++ packages/bap/bap.2.4.0/opam | 60 +++++++++++++ packages/bare/bare.2.4.0/opam | 39 +++++++++ .../bitvec-binprot/bitvec-binprot.2.4.0/opam | 29 +++++++ packages/bitvec-order/bitvec-order.2.4.0/opam | 29 +++++++ packages/bitvec-sexp/bitvec-sexp.2.4.0/opam | 29 +++++++ packages/bitvec/bitvec.2.4.0/opam | 27 ++++++ packages/graphlib/graphlib.2.4.0/opam | 49 +++++++++++ packages/monads/monads.2.4.0/opam | 34 ++++++++ packages/ogre/ogre.2.4.0/opam | 37 ++++++++ packages/regular/regular.2.4.0/opam | 51 +++++++++++ packages/text-tags/text-tags.2.4.0/opam | 31 +++++++ 111 files changed, 4319 insertions(+) create mode 100644 packages/bap-abi/bap-abi.2.4.0/opam create mode 100644 packages/bap-analyze/bap-analyze.2.4.0/opam create mode 100644 packages/bap-api/bap-api.2.4.0/opam create mode 100644 packages/bap-arm/bap-arm.2.4.0/opam create mode 100644 packages/bap-beagle-strings/bap-beagle-strings.2.4.0/opam create mode 100644 packages/bap-beagle/bap-beagle.2.4.0/opam create mode 100644 packages/bap-bil/bap-bil.2.4.0/opam create mode 100644 packages/bap-build/bap-build.2.4.0/opam create mode 100644 packages/bap-bundle/bap-bundle.2.4.0/opam create mode 100644 packages/bap-byteweight-frontend/bap-byteweight-frontend.2.4.0/opam create mode 100644 packages/bap-byteweight/bap-byteweight.2.4.0/opam create mode 100644 packages/bap-c/bap-c.2.4.0/opam create mode 100644 packages/bap-cache/bap-cache.2.4.0/opam create mode 100644 packages/bap-callgraph-collator/bap-callgraph-collator.2.4.0/opam create mode 100644 packages/bap-callsites/bap-callsites.2.4.0/opam create mode 100644 packages/bap-constant-tracker/bap-constant-tracker.2.4.0/opam create mode 100644 packages/bap-core-theory/bap-core-theory.2.4.0/opam create mode 100644 packages/bap-core/bap-core.2.4.0/opam create mode 100644 packages/bap-cxxfilt/bap-cxxfilt.2.4.0/opam create mode 100644 packages/bap-demangle/bap-demangle.2.4.0/opam create mode 100644 packages/bap-dependencies/bap-dependencies.2.4.0/opam create mode 100644 packages/bap-disassemble/bap-disassemble.2.4.0/opam create mode 100644 packages/bap-dump-symbols/bap-dump-symbols.2.4.0/opam create mode 100644 packages/bap-dwarf/bap-dwarf.2.4.0/opam create mode 100644 packages/bap-elementary/bap-elementary.2.4.0/opam create mode 100644 packages/bap-elf/bap-elf.2.4.0/opam create mode 100644 packages/bap-extra/bap-extra.2.4.0/opam create mode 100644 packages/bap-flatten/bap-flatten.2.4.0/opam create mode 100644 packages/bap-frontc/bap-frontc.2.4.0/opam create mode 100644 packages/bap-frontend/bap-frontend.2.4.0/opam create mode 100644 packages/bap-fsi-benchmark/bap-fsi-benchmark.2.4.0/opam create mode 100644 packages/bap-future/bap-future.2.4.0/opam create mode 100644 packages/bap-ghidra/bap-ghidra.2.4.0/opam create mode 100644 packages/bap-glibc-runtime/bap-glibc-runtime.2.4.0/opam create mode 100644 packages/bap-ida-plugin/bap-ida-plugin.2.4.0/opam create mode 100644 packages/bap-ida/bap-ida.2.4.0/opam create mode 100644 packages/bap-knowledge/bap-knowledge.2.4.0/opam create mode 100644 packages/bap-llvm/bap-llvm.2.4.0/files/detect.travis create mode 100644 packages/bap-llvm/bap-llvm.2.4.0/opam create mode 100644 packages/bap-main/bap-main.2.4.0/opam create mode 100644 packages/bap-mc/bap-mc.2.4.0/opam create mode 100644 packages/bap-microx/bap-microx.2.4.0/opam create mode 100644 packages/bap-mips/bap-mips.2.4.0/opam create mode 100644 packages/bap-objdump/bap-objdump.2.4.0/opam create mode 100644 packages/bap-optimization/bap-optimization.2.4.0/opam create mode 100644 packages/bap-patterns/bap-patterns.2.4.0/opam create mode 100644 packages/bap-phoenix/bap-phoenix.2.4.0/opam create mode 100644 packages/bap-piqi/bap-piqi.2.4.0/opam create mode 100644 packages/bap-plugins/bap-plugins.2.4.0/opam create mode 100644 packages/bap-powerpc/bap-powerpc.2.4.0/opam create mode 100644 packages/bap-primus-dictionary/bap-primus-dictionary.2.4.0/opam create mode 100644 packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.4.0/opam create mode 100644 packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.4.0/opam create mode 100644 packages/bap-primus-limit/bap-primus-limit.2.4.0/opam create mode 100644 packages/bap-primus-lisp/bap-primus-lisp.2.4.0/opam create mode 100644 packages/bap-primus-loader/bap-primus-loader.2.4.0/opam create mode 100644 packages/bap-primus-mark-visited/bap-primus-mark-visited.2.4.0/opam create mode 100644 packages/bap-primus-powerpc/bap-primus-powerpc.2.4.0/opam create mode 100644 packages/bap-primus-print/bap-primus-print.2.4.0/opam create mode 100644 packages/bap-primus-promiscuous/bap-primus-promiscuous.2.4.0/opam create mode 100644 packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.4.0/opam create mode 100644 packages/bap-primus-random/bap-primus-random.2.4.0/opam create mode 100644 packages/bap-primus-region/bap-primus-region.2.4.0/opam create mode 100644 packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.4.0/opam create mode 100644 packages/bap-primus-support/bap-primus-support.2.4.0/opam create mode 100644 packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.4.0/opam create mode 100644 packages/bap-primus-systems/bap-primus-systems.2.4.0/opam create mode 100644 packages/bap-primus-taint/bap-primus-taint.2.4.0/opam create mode 100644 packages/bap-primus-test/bap-primus-test.2.4.0/opam create mode 100644 packages/bap-primus-track-visited/bap-primus-track-visited.2.4.0/opam create mode 100644 packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.4.0/opam create mode 100644 packages/bap-primus-x86/bap-primus-x86.2.4.0/opam create mode 100644 packages/bap-primus/bap-primus.2.4.0/opam create mode 100644 packages/bap-print/bap-print.2.4.0/opam create mode 100644 packages/bap-radare2/bap-radare2.2.4.0/opam create mode 100644 packages/bap-raw/bap-raw.2.4.0/opam create mode 100644 packages/bap-recipe-command/bap-recipe-command.2.4.0/opam create mode 100644 packages/bap-recipe/bap-recipe.2.4.0/opam create mode 100644 packages/bap-relation/bap-relation.2.4.0/opam create mode 100644 packages/bap-relocatable/bap-relocatable.2.4.0/opam create mode 100644 packages/bap-report/bap-report.2.4.0/opam create mode 100644 packages/bap-riscv/bap-riscv.2.4.0/opam create mode 100644 packages/bap-run/bap-run.2.4.0/opam create mode 100644 packages/bap-specification/bap-specification.2.4.0/opam create mode 100644 packages/bap-ssa/bap-ssa.2.4.0/opam create mode 100644 packages/bap-std/bap-std.2.4.0/opam create mode 100644 packages/bap-strings/bap-strings.2.4.0/opam create mode 100644 packages/bap-stub-resolver/bap-stub-resolver.2.4.0/opam create mode 100644 packages/bap-symbol-reader/bap-symbol-reader.2.4.0/opam create mode 100644 packages/bap-systemz/bap-systemz.2.4.0/opam create mode 100644 packages/bap-taint-propagator/bap-taint-propagator.2.4.0/opam create mode 100644 packages/bap-taint/bap-taint.2.4.0/opam create mode 100644 packages/bap-term-mapper/bap-term-mapper.2.4.0/opam create mode 100644 packages/bap-thumb/bap-thumb.2.4.0/opam create mode 100644 packages/bap-toplevel/bap-toplevel.2.4.0/opam create mode 100644 packages/bap-trace/bap-trace.2.4.0/opam create mode 100644 packages/bap-traces/bap-traces.2.4.0/opam create mode 100644 packages/bap-trivial-condition-form/bap-trivial-condition-form.2.4.0/opam create mode 100644 packages/bap-warn-unused/bap-warn-unused.2.4.0/opam create mode 100644 packages/bap-x86/bap-x86.2.4.0/opam create mode 100644 packages/bap/bap.2.4.0/opam create mode 100644 packages/bare/bare.2.4.0/opam create mode 100644 packages/bitvec-binprot/bitvec-binprot.2.4.0/opam create mode 100644 packages/bitvec-order/bitvec-order.2.4.0/opam create mode 100644 packages/bitvec-sexp/bitvec-sexp.2.4.0/opam create mode 100644 packages/bitvec/bitvec.2.4.0/opam create mode 100644 packages/graphlib/graphlib.2.4.0/opam create mode 100644 packages/monads/monads.2.4.0/opam create mode 100644 packages/ogre/ogre.2.4.0/opam create mode 100644 packages/regular/regular.2.4.0/opam create mode 100644 packages/text-tags/text-tags.2.4.0/opam diff --git a/packages/bap-abi/bap-abi.2.4.0/opam b/packages/bap-abi/bap-abi.2.4.0/opam new file mode 100644 index 00000000000..2c1a00a9a04 --- /dev/null +++ b/packages/bap-abi/bap-abi.2.4.0/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +name: "bap-abi" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-analyze/bap-analyze.2.4.0/opam b/packages/bap-analyze/bap-analyze.2.4.0/opam new file mode 100644 index 00000000000..0d68aeaeb61 --- /dev/null +++ b/packages/bap-analyze/bap-analyze.2.4.0/opam @@ -0,0 +1,41 @@ +opam-version: "2.0" +name: "bap-analyze" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-api/bap-api.2.4.0/opam b/packages/bap-api/bap-api.2.4.0/opam new file mode 100644 index 00000000000..bc3f2e09112 --- /dev/null +++ b/packages/bap-api/bap-api.2.4.0/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +name: "bap-api" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-arm/bap-arm.2.4.0/opam b/packages/bap-arm/bap-arm.2.4.0/opam new file mode 100644 index 00000000000..44296b5f549 --- /dev/null +++ b/packages/bap-arm/bap-arm.2.4.0/opam @@ -0,0 +1,51 @@ +opam-version: "2.0" +name: "bap-arm" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-beagle-strings/bap-beagle-strings.2.4.0/opam b/packages/bap-beagle-strings/bap-beagle-strings.2.4.0/opam new file mode 100644 index 00000000000..dea2d4dc51a --- /dev/null +++ b/packages/bap-beagle-strings/bap-beagle-strings.2.4.0/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +name: "bap-beagle-strings" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-beagle/bap-beagle.2.4.0/opam b/packages/bap-beagle/bap-beagle.2.4.0/opam new file mode 100644 index 00000000000..63e147f0ac2 --- /dev/null +++ b/packages/bap-beagle/bap-beagle.2.4.0/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +name: "bap-beagle" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-bil/bap-bil.2.4.0/opam b/packages/bap-bil/bap-bil.2.4.0/opam new file mode 100644 index 00000000000..685fd444f5f --- /dev/null +++ b/packages/bap-bil/bap-bil.2.4.0/opam @@ -0,0 +1,37 @@ +opam-version: "2.0" +name: "bap-bil" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-build/bap-build.2.4.0/opam b/packages/bap-build/bap-build.2.4.0/opam new file mode 100644 index 00000000000..72a3d08d4b5 --- /dev/null +++ b/packages/bap-build/bap-build.2.4.0/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +name: "bap-build" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-bundle/bap-bundle.2.4.0/opam b/packages/bap-bundle/bap-bundle.2.4.0/opam new file mode 100644 index 00000000000..659a293a39f --- /dev/null +++ b/packages/bap-bundle/bap-bundle.2.4.0/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +name: "bap-bundle" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-byteweight-frontend/bap-byteweight-frontend.2.4.0/opam b/packages/bap-byteweight-frontend/bap-byteweight-frontend.2.4.0/opam new file mode 100644 index 00000000000..4c6fb3dde68 --- /dev/null +++ b/packages/bap-byteweight-frontend/bap-byteweight-frontend.2.4.0/opam @@ -0,0 +1,41 @@ +opam-version: "2.0" +name: "bap-byteweight-frontend" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" +} diff --git a/packages/bap-byteweight/bap-byteweight.2.4.0/opam b/packages/bap-byteweight/bap-byteweight.2.4.0/opam new file mode 100644 index 00000000000..ec4abc04bad --- /dev/null +++ b/packages/bap-byteweight/bap-byteweight.2.4.0/opam @@ -0,0 +1,45 @@ +opam-version: "2.0" +name: "bap-byteweight" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + ["ocamlfind" "remove" "bap-byteweight"] + ["ocamlfind" "remove" "bap-plugin-byteweight"] + [ "bapbundle" "remove" "byteweight.plugin"] + +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-signatures" {= "2.4.0"} + "regular" {= "2.4.0"} + "camlzip" + "uri" +] +synopsis: "BAP facility for indentifying code entry points" +description: """ +Provides a library and a plugin that uses the Byteweigh algorithm for +finding entry points (function strats) in stripped code.""" + +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" +} diff --git a/packages/bap-c/bap-c.2.4.0/opam b/packages/bap-c/bap-c.2.4.0/opam new file mode 100644 index 00000000000..c9f8f5539c6 --- /dev/null +++ b/packages/bap-c/bap-c.2.4.0/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +name: "bap-c" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-c"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-c"]] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-abi" {= "2.4.0"} + "bap-api" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} +] +synopsis: "A C language support library for BAP" +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" +} diff --git a/packages/bap-cache/bap-cache.2.4.0/opam b/packages/bap-cache/bap-cache.2.4.0/opam new file mode 100644 index 00000000000..c18b535b67a --- /dev/null +++ b/packages/bap-cache/bap-cache.2.4.0/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +name: "bap-cache" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-cache"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-cache"] + [ "bapbundle" "remove" "cache.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-main" {= "2.4.0"} + "mmap" + "fileutils" + "uuidm" +] +synopsis: "BAP caching service" + +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" +} diff --git a/packages/bap-callgraph-collator/bap-callgraph-collator.2.4.0/opam b/packages/bap-callgraph-collator/bap-callgraph-collator.2.4.0/opam new file mode 100644 index 00000000000..912c962b2ab --- /dev/null +++ b/packages/bap-callgraph-collator/bap-callgraph-collator.2.4.0/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +name: "bap-callgraph-collator" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-callgraph-collator"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-callgraph_collator"] + ["bapbundle" "remove" "callgraph_collator.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "graphlib" {= "2.4.0"} + "re" +] +synopsis: "Collates programs based on their callgraphs" + +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" +} diff --git a/packages/bap-callsites/bap-callsites.2.4.0/opam b/packages/bap-callsites/bap-callsites.2.4.0/opam new file mode 100644 index 00000000000..2b4405e28b4 --- /dev/null +++ b/packages/bap-callsites/bap-callsites.2.4.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +name: "bap-callsites" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-callsites"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + [ "ocamlfind" "remove" "bap-plugin-callsites"] + [ "bapbundle" "remove" "callsites.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "cmdliner" +] +synopsis: "Inject data definition terms at callsites" + +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" +} diff --git a/packages/bap-constant-tracker/bap-constant-tracker.2.4.0/opam b/packages/bap-constant-tracker/bap-constant-tracker.2.4.0/opam new file mode 100644 index 00000000000..74cff65a3c5 --- /dev/null +++ b/packages/bap-constant-tracker/bap-constant-tracker.2.4.0/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +name: "bap-constant-tracker" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-constant-tracker"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-constant_tracker"] + ["bapbundle" "remove" "constant_tracker.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} +] +synopsis: "Constant Tracking Analysis based on Primus" + +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" +} diff --git a/packages/bap-core-theory/bap-core-theory.2.4.0/opam b/packages/bap-core-theory/bap-core-theory.2.4.0/opam new file mode 100644 index 00000000000..a5eb350a5d8 --- /dev/null +++ b/packages/bap-core-theory/bap-core-theory.2.4.0/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +name: "bap-core-theory" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-core-theory"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-core-theory"]] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "bap-knowledge" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "bitvec-binprot" {= "2.4.0"} + "bitvec-order" {= "2.4.0"} + "bitvec-sexp" {= "2.4.0"} +] +synopsis: "BAP Semantics Representation" +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. +""" + +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" +} diff --git a/packages/bap-core/bap-core.2.4.0/opam b/packages/bap-core/bap-core.2.4.0/opam new file mode 100644 index 00000000000..156c147abb7 --- /dev/null +++ b/packages/bap-core/bap-core.2.4.0/opam @@ -0,0 +1,85 @@ +opam-version: "2.0" +name: "bap-core" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-abi" {= "2.4.0"} + "bap-analyze" {= "2.4.0"} + "bap-api" {= "2.4.0"} + "bap-arm" {= "2.4.0"} + "bap-bil" {= "2.4.0"} + "bap-build" {= "2.4.0"} + "bap-bundle" {= "2.4.0"} + "bap-byteweight" {= "2.4.0"} + "bap-c" {= "2.4.0"} + "bap-cache" {= "2.4.0"} + "bap-cxxfilt" {= "2.4.0"} + "bap-callgraph-collator" {= "2.4.0"} + "bap-callsites" {= "2.4.0"} + "bap-demangle" {= "2.4.0"} + "bap-dependencies" {= "2.4.0"} + "bap-disassemble" {= "2.4.0"} + "bap-dump-symbols" {= "2.4.0"} + "bap-elementary" {= "2.4.0"} + "bap-flatten" {= "2.4.0"} + "bap-frontend" {= "2.4.0"} + "bap-frontc" {= "2.4.0"} + "bap-glibc-runtime" {= "2.4.0"} + "bap-llvm" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-mc" {= "2.4.0"} + "bap-mips" {= "2.4.0"} + "bap-objdump" {= "2.4.0"} + "bap-optimization" {= "2.4.0"} + "bap-patterns" {= "2.4.0"} + "bap-plugins" {= "2.4.0"} + "bap-powerpc" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-primus-lisp" {= "2.4.0"} + "bap-print" {= "2.4.0"} + "bap-raw" {= "2.4.0"} + "bap-recipe" {= "2.4.0"} + "bap-recipe-command" {= "2.4.0"} + "bap-relation" {= "2.4.0"} + "bap-relocatable" {= "2.4.0"} + "bap-report" {= "2.4.0"} + "bap-riscv" {= "2.4.0"} + "bap-specification" {= "2.4.0"} + "bap-ssa" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "bap-stub-resolver" {= "2.4.0"} + "bap-symbol-reader" {= "2.4.0"} + "bap-systemz" {= "2.4.0"} + "bap-thumb" {= "2.4.0"} + "bap-toplevel" {= "2.4.0"} + "bap-x86" {= "2.4.0"} +] +synopsis: "Binary Analysis Platform" +description: """ +The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a +reverse engineering and program analysis platform that works with +binary code and doesn't require the source code. BAP supports multiple +architectures: ARM, x86, x86-64, PowerPC, and MIPS. BAP disassembles +and lifts binary code into the RISC-like BAP Instruction Language +(BIL). Program analysis is performed using the BIL representation and +is architecture independent in a sense that it will work equally well +for all supported architectures. The main purpose of BAP is to provide +a toolkit for implementing automated program analysis. BAP is written +in OCaml and it is the preferred language to write analysis, but we +have bindings to C, Python and Rust. The Primus Framework also provide +a Lisp-like DSL for writing program analysis tools. + +This is a meta package that installs the core parts of BAP, exluding analysis.""" + +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" +} diff --git a/packages/bap-cxxfilt/bap-cxxfilt.2.4.0/opam b/packages/bap-cxxfilt/bap-cxxfilt.2.4.0/opam new file mode 100644 index 00000000000..87433e69ef9 --- /dev/null +++ b/packages/bap-cxxfilt/bap-cxxfilt.2.4.0/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +name: "bap-cxxfilt" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-cxxfilt" + "--cxxfilt-paths=%{conf-binutils:cxxfilts}%" + ] + [make] +] +install: [[make "install"]] +remove: [ + ["ocamlfind" "remove" "bap-plugin-cxxfilt"] + ["bapbundle" "remove" "cxxfilt.plugin"] +] +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-demangle" {= "2.4.0"} + "conf-binutils" {= "0.3"} +] +synopsis: "A demangler that relies on a c++filt utility" + +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" +} diff --git a/packages/bap-demangle/bap-demangle.2.4.0/opam b/packages/bap-demangle/bap-demangle.2.4.0/opam new file mode 100644 index 00000000000..a22f079400e --- /dev/null +++ b/packages/bap-demangle/bap-demangle.2.4.0/opam @@ -0,0 +1,36 @@ +opam-version: "2.0" +name: "bap-demangle" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-demangle"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-demangle"] + ["ocamlfind" "remove" "bap-plugin-demangle"] + ["bapbundle" "remove" "demangle.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "cmdliner" +] +synopsis: "Library for name demangling" + +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" +} diff --git a/packages/bap-dependencies/bap-dependencies.2.4.0/opam b/packages/bap-dependencies/bap-dependencies.2.4.0/opam new file mode 100644 index 00000000000..035c510bb7b --- /dev/null +++ b/packages/bap-dependencies/bap-dependencies.2.4.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +name: "bap-dependencies" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-dependencies"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-dependencies"] + ["bapbundle" "remove" "dependencies.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"} + "ogre" {= "2.4.0"} + "bap-main" {= "2.4.0"} + +] +synopsis: "Analyzes program dependencies" +description: """ +The command outputs program dependencies such as libraries and symbols. The information is collected recursively with various output options, including dependency graph, YAML, JSON, and SEXP. + +The information includes the list of imported libraries as well as sets of imported and exported symbols. The information could be collected recursively when the --recursive option is specified. In a recursive mode, the list of paths where to search for libraries could be specified with the --library-path option that accepts a list of paths. It is also possible to use the host ldconfig cache (or specify custom library config) via the ldconfig parameter. Information about each individual dependency is cached, so consecutive calls to bap will reuse the available information and terminate quickly. +""" + +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" +} diff --git a/packages/bap-disassemble/bap-disassemble.2.4.0/opam b/packages/bap-disassemble/bap-disassemble.2.4.0/opam new file mode 100644 index 00000000000..1a5ccb2a90d --- /dev/null +++ b/packages/bap-disassemble/bap-disassemble.2.4.0/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +name: "bap-disassemble" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-disassemble"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-disassemble"] + ["bapbundle" "remove" "disassemble.plugin"] + ] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "regular" {= "2.4.0"} + "monads" {= "2.4.0"} + "bap-plugins" {= "2.4.0"} + "bap-bundle" {= "2.4.0"} + "bap-main" {= "2.4.0"} +] +synopsis: "Implements the disassemble command" +description: """ +Disassembles and analyzes the input file. This is the default +command of the bap frontend which is assumed when no other command +was 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" +} diff --git a/packages/bap-dump-symbols/bap-dump-symbols.2.4.0/opam b/packages/bap-dump-symbols/bap-dump-symbols.2.4.0/opam new file mode 100644 index 00000000000..3e248eb4e6b --- /dev/null +++ b/packages/bap-dump-symbols/bap-dump-symbols.2.4.0/opam @@ -0,0 +1,36 @@ +opam-version: "2.0" +name: "bap-dump-symbols" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-dump-symbols"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-dump_symbols"] + ["bapbundle" "remove" "dump_symbols.plugin"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "graphlib" {= "2.4.0"} + "regular" {= "2.4.0"} +] +synopsis: "BAP plugin that dumps symbols information from a binary" + +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" +} diff --git a/packages/bap-dwarf/bap-dwarf.2.4.0/opam b/packages/bap-dwarf/bap-dwarf.2.4.0/opam new file mode 100644 index 00000000000..331f180871b --- /dev/null +++ b/packages/bap-dwarf/bap-dwarf.2.4.0/opam @@ -0,0 +1,30 @@ +opam-version: "2.0" +name: "bap-dwarf" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-dwarf"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-dwarf"]] +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"} +] +synopsis: "BAP DWARF parsing library" +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" +} diff --git a/packages/bap-elementary/bap-elementary.2.4.0/opam b/packages/bap-elementary/bap-elementary.2.4.0/opam new file mode 100644 index 00000000000..c12010d5637 --- /dev/null +++ b/packages/bap-elementary/bap-elementary.2.4.0/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +name: "bap-elementary" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-elementary"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-elementary"]] +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} +] +synopsis: "BAP floating point approximations of elementary functions" +description: +""" +Library provides few primitives for approximations of floating +point operations via table methods. +""" + +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" +} diff --git a/packages/bap-elf/bap-elf.2.4.0/opam b/packages/bap-elf/bap-elf.2.4.0/opam new file mode 100644 index 00000000000..de95790555b --- /dev/null +++ b/packages/bap-elf/bap-elf.2.4.0/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +name: "bap-elf" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-elf-loader"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-elf"] + ["ocamlfind" "remove" "bap-plugin-elf_loader"] + ["bapbundle" "remove" "elf_loader.plugin"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "regular" {= "2.4.0"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-dwarf" {= "2.4.0"} + "bitstring" {>= "3.0.0" & < "4.0.0"} +] +synopsis: "BAP ELF parser and loader written in native OCaml" + +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" +} diff --git a/packages/bap-extra/bap-extra.2.4.0/opam b/packages/bap-extra/bap-extra.2.4.0/opam new file mode 100644 index 00000000000..8d920398f88 --- /dev/null +++ b/packages/bap-extra/bap-extra.2.4.0/opam @@ -0,0 +1,41 @@ +opam-version: "2.0" +name: "bap-extra" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" + +depends: [ + "bap" {= "2.4.0"} + "bap-elf" {= "2.4.0"} + "bap-primus-symbolic-executor" {= "2.4.0"} + "bap-ghidra" {= "2.4.0"} + "bap-trace" {= "2.4.0"} + "bap-traces" {= "2.4.0"} + +] +synopsis: "Binary Analysis Platform" +description: """ +The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a +reverse engineering and program analysis platform that works with +binary code and doesn't require the source code. BAP supports multiple +architectures: ARM, x86, x86-64, PowerPC, and MIPS. BAP disassembles +and lifts binary code into the RISC-like BAP Instruction Language +(BIL). Program analysis is performed using the BIL representation and +is architecture independent in a sense that it will work equally well +for all supported architectures. The main purpose of BAP is to provide +a toolkit for implementing automated program analysis. BAP is written +in OCaml and it is the preferred language to write analysis, but we +have bindings to C, Python and Rust. The Primus Framework also provide +a Lisp-like DSL for writing program analysis tools. + +This is a meta package that installs essential parts of BAP.""" + +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" +} diff --git a/packages/bap-flatten/bap-flatten.2.4.0/opam b/packages/bap-flatten/bap-flatten.2.4.0/opam new file mode 100644 index 00000000000..18f3356d4da --- /dev/null +++ b/packages/bap-flatten/bap-flatten.2.4.0/opam @@ -0,0 +1,27 @@ +opam-version: "2.0" +name: "bap-flatten" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-flatten"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-flatten"] + ["bapbundle" "remove" "flatten.plugin"]] +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} +] +synopsis: "A BAP plugin, that translates a program into the flatten form" + +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" +} diff --git a/packages/bap-frontc/bap-frontc.2.4.0/opam b/packages/bap-frontc/bap-frontc.2.4.0/opam new file mode 100644 index 00000000000..5d65a425b57 --- /dev/null +++ b/packages/bap-frontc/bap-frontc.2.4.0/opam @@ -0,0 +1,29 @@ +opam-version: "2.0" +name: "bap-frontc" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-frontc-parser"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-frontc_parser"] + ["bapbundle" "remove" "frontc_parser.plugin"]] +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-c" {= "2.4.0"} + "FrontC" {>= "4.1.0"} +] +synopsis: "A C language frontend for based on FrontC library" + +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" +} diff --git a/packages/bap-frontend/bap-frontend.2.4.0/opam b/packages/bap-frontend/bap-frontend.2.4.0/opam new file mode 100644 index 00000000000..d8625119f9d --- /dev/null +++ b/packages/bap-frontend/bap-frontend.2.4.0/opam @@ -0,0 +1,46 @@ +opam-version: "2.0" +name: "bap-frontend" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-frontend"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + ["rm" "-f" "%{bin}%/bap"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "regular" {= "2.4.0"} + "ocamlfind" +] +synopsis: "BAP frontend" +description: "The command-line interface to the Binary Analysis Platform." +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" +} diff --git a/packages/bap-fsi-benchmark/bap-fsi-benchmark.2.4.0/opam b/packages/bap-fsi-benchmark/bap-fsi-benchmark.2.4.0/opam new file mode 100644 index 00000000000..799a2ef5033 --- /dev/null +++ b/packages/bap-fsi-benchmark/bap-fsi-benchmark.2.4.0/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +name: "bap-fsi-benchmark" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-fsi-benchmark"] + [make] +] + +install: [[make "install"]] + +remove: [["rm" "-f" "%{bin}%/bap-byteweight"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-ida" {= "2.4.0"} + "bap-byteweight-frontend" {= "2.4.0"} + "cmdliner" + "fileutils" + "re" +] +synopsis: "BAP function start identification benchmark game" +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" +} diff --git a/packages/bap-future/bap-future.2.4.0/opam b/packages/bap-future/bap-future.2.4.0/opam new file mode 100644 index 00000000000..2eb1783e837 --- /dev/null +++ b/packages/bap-future/bap-future.2.4.0/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +name: "bap-future" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-future"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-future"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "monads" {= "2.4.0"} +] +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.""" +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" +} diff --git a/packages/bap-ghidra/bap-ghidra.2.4.0/opam b/packages/bap-ghidra/bap-ghidra.2.4.0/opam new file mode 100644 index 00000000000..10da4c18cd8 --- /dev/null +++ b/packages/bap-ghidra/bap-ghidra.2.4.0/opam @@ -0,0 +1,43 @@ +opam-version: "2.0" +name: "bap-ghidra" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-ghidra"] + [make] + ] + +install: [ + [make "install"] +] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-ghidra"] + ["ocamlfind" "remove" "bap-ghidra"] + ["bapbundle" "remove" "ghidra.plugin"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-main" {= "2.4.0"} +] + +synopsis: "BAP Ghidra backend" +description: + "Provides the lifter and disassembler based on Ghidra Sleigh disassembler." + +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" +} diff --git a/packages/bap-glibc-runtime/bap-glibc-runtime.2.4.0/opam b/packages/bap-glibc-runtime/bap-glibc-runtime.2.4.0/opam new file mode 100644 index 00000000000..f5f07fc5f68 --- /dev/null +++ b/packages/bap-glibc-runtime/bap-glibc-runtime.2.4.0/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +name: "bap-glibc-runtime" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-glibc-runtime"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-glibc_runtime"] + ["bapbundle" "remove" "glibc_runtime.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "bap-abi" {= "2.4.0"} + "bap-c" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "ogre" {= "2.4.0"} +] +synopsis: "Detects the presence of glibc runtime" +description: """ +Enables ad-hoc support for glibc runtime code. In particular it +detects the locations of main and __libc_start_main +functions (and adds the latter if it is absent) +""" + +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" +} diff --git a/packages/bap-ida-plugin/bap-ida-plugin.2.4.0/opam b/packages/bap-ida-plugin/bap-ida-plugin.2.4.0/opam new file mode 100644 index 00000000000..ce27e7f364b --- /dev/null +++ b/packages/bap-ida-plugin/bap-ida-plugin.2.4.0/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +name: "bap-ida-plugin" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-emit-ida-script"] + [make] +] +install: [[make "install"]] +remove: [ + ["ocamlfind" "remove" "bap-plugin-emit_ida_script"] + ["bapbundle" "remove" "emit_ida_script.plugin"] + +] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap" {= "2.4.0"} + "regular" {= "2.4.0"} +] +synopsis: "Plugins for IDA and BAP integration" + +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" +} diff --git a/packages/bap-ida/bap-ida.2.4.0/opam b/packages/bap-ida/bap-ida.2.4.0/opam new file mode 100644 index 00000000000..5ad2a147e2b --- /dev/null +++ b/packages/bap-ida/bap-ida.2.4.0/opam @@ -0,0 +1,46 @@ +opam-version: "2.0" +name: "bap-ida" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-ida" + "--ida-path=%{conf-ida:path}%" + "--ida-headless=%{conf-ida:headless}%" +] + [make] +] +install: [[make "install"]] +remove: [ + ["ocamlfind" "remove" "bap-ida"] + ["ocamlfind" "remove" "bap-plugin-ida"] + ["bapbundle" "remove" "ida.plugin"] +] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "conf-ida" + "oasis" {build & >= "0.4.7"} + "fileutils" + "mmap" + "re" + "bap-ida-python" {= "2.4.0"} + "bap-ida-plugin" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "regular" {= "2.4.0"} + "bap-future" {= "2.4.0"} +] +synopsis: "An IDA Pro integration library" + +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" +} diff --git a/packages/bap-knowledge/bap-knowledge.2.4.0/opam b/packages/bap-knowledge/bap-knowledge.2.4.0/opam new file mode 100644 index 00000000000..e3d1b3ba9f2 --- /dev/null +++ b/packages/bap-knowledge/bap-knowledge.2.4.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +name: "bap-knowledge" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-knowledge"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "knowledge"]] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "monads" {= "2.4.0"} +] +synopsis: "Knowledge Representation Library" +description: """ +The library provides facilities for storing, accumulating, and +computing knowledge. The knowledge could be represented indirectly, +in the Knowledge Base, or directly as knowledge values. The +library focuses on representing knowledge that is partial and +provides mechanisms for knowledge accumulation and +refinement. The knowledge representation library leverages the +powerful type system of the OCaml language to facilitate +development of complex knowledge representation and reasoning systems. +""" + +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" +} diff --git a/packages/bap-llvm/bap-llvm.2.4.0/files/detect.travis b/packages/bap-llvm/bap-llvm.2.4.0/files/detect.travis new file mode 100644 index 00000000000..41f7cc2518f --- /dev/null +++ b/packages/bap-llvm/bap-llvm.2.4.0/files/detect.travis @@ -0,0 +1,5 @@ +#!/bin/sh + +cat > bap-llvm.config <" +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}%" + "--with-cxx=`which clang++`" + "--with-llvm-version=%{conf-bap-llvm:package-version}%" + "--with-llvm-config=%{conf-bap-llvm:config}%" + "--enable-llvm"] + [make] + ] + +install: [ + [make "install"] +] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-llvm"] + ["ocamlfind" "remove" "bap-llvm"] + ["bapbundle" "remove" "llvm.plugin"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "mmap" + "conf-env-travis" + "conf-bap-llvm" + "ogre" {= "2.4.0"} + "monads" {= "2.4.0"} +] +depexts: [ + ["clang" "libncurses5-dev"] {os-distribution = "ubuntu"} + ["clang"] {os-distribution = "debian"} + ["clang" "libxml2-dev"] {os-distribution = "alpine"} + ["clang"] {os-distribution = "fedora"} +] +synopsis: "BAP LLVM backend" +description: + "Provides a loader and a disassembler, based on LLVM-MC library." +extra-files: ["detect.travis" "md5=00e7b28719062d550dcd7813becf7396"] + +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" +} diff --git a/packages/bap-main/bap-main.2.4.0/opam b/packages/bap-main/bap-main.2.4.0/opam new file mode 100644 index 00000000000..adcefa0b019 --- /dev/null +++ b/packages/bap-main/bap-main.2.4.0/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +name: "bap-main" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-main"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-main"] ] +depends: [ + "ocaml" {>= "4.08.0" } + "base" + "stdio" + "cmdliner" + "bap-build" {= "2.4.0"} + "bap-future" {= "2.4.0"} + "bap-plugins" {= "2.4.0"} + "bap-recipe" {= "2.4.0"} +] +synopsis: "Build BAP Main Framework Configuration Library" +description: +""" +This library is an entry point to BAP and serves the two goals: +- embedding BAP in other applications; +- extending BAP with the user code. +""" + +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" +} diff --git a/packages/bap-mc/bap-mc.2.4.0/opam b/packages/bap-mc/bap-mc.2.4.0/opam new file mode 100644 index 00000000000..c4e61e3ff13 --- /dev/null +++ b/packages/bap-mc/bap-mc.2.4.0/opam @@ -0,0 +1,50 @@ +opam-version: "2.0" +name: "bap-mc" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-mc"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-mc"] + ["bapbundle" "remove" "mc.plugin"] + ["rm" "-f" "%{bin}%/bap-mc"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-plugins" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "ogre" {= "2.4.0"} + "regular" {= "2.4.0"} +] +synopsis: "BAP machine instruction playground" +description: "A BAP version of llvm-mc tool." +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" +} diff --git a/packages/bap-microx/bap-microx.2.4.0/opam b/packages/bap-microx/bap-microx.2.4.0/opam new file mode 100644 index 00000000000..1c81644d0b6 --- /dev/null +++ b/packages/bap-microx/bap-microx.2.4.0/opam @@ -0,0 +1,30 @@ +opam-version: "2.0" +name: "bap-microx" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-microx"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-microx"]] +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"} +] +synopsis: "A micro execution framework" +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" +} diff --git a/packages/bap-mips/bap-mips.2.4.0/opam b/packages/bap-mips/bap-mips.2.4.0/opam new file mode 100644 index 00000000000..1d0394a858a --- /dev/null +++ b/packages/bap-mips/bap-mips.2.4.0/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +name: "bap-mips" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-mips"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-mips"] + ["bapbundle" "remove" "mips.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "zarith" + "bap-abi" {= "2.4.0"} + "bap-api" {= "2.4.0"} + "bap-c" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "ogre" {= "2.4.0"} + "regular" {= "2.4.0"} +] +synopsis: "BAP MIPS lifter" +description: "Provides lifter for MIPS and MIPS32 architectures" + +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" +} diff --git a/packages/bap-objdump/bap-objdump.2.4.0/opam b/packages/bap-objdump/bap-objdump.2.4.0/opam new file mode 100644 index 00000000000..e4c383b8964 --- /dev/null +++ b/packages/bap-objdump/bap-objdump.2.4.0/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +name: "bap-objdump" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-objdump" + "--objdump-paths=%{conf-binutils:objdumps}%" + ] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-objdump"] + ["bapbundle" "remove" "objdump.plugin"] +] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "re" + "conf-binutils" {= "0.3"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-relation" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "bitvec-order" {= "2.4.0"} + "bitvec-sexp" {= "2.4.0"} +] +synopsis: "Extract symbols from binary, using binutils objdump" + +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" +} diff --git a/packages/bap-optimization/bap-optimization.2.4.0/opam b/packages/bap-optimization/bap-optimization.2.4.0/opam new file mode 100644 index 00000000000..7bd40d36611 --- /dev/null +++ b/packages/bap-optimization/bap-optimization.2.4.0/opam @@ -0,0 +1,37 @@ +opam-version: "2.0" +name: "bap-optimization" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-optimization"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-optimization"] + ["bapbundle" "remove" "optimization.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"} + "graphlib" {= "2.4.0"} +] +synopsis: "A BAP plugin that removes dead IR code" +description: """ +A pass that conservatively removes dead code in the generated IR. The +removed dead code is usually produced by a lifter, though it might be +possible that a binary indeed contains a dead code. The algorithm +doesn't remove variables that are stored in memory, only registers are +considered.""" + +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" +} diff --git a/packages/bap-patterns/bap-patterns.2.4.0/opam b/packages/bap-patterns/bap-patterns.2.4.0/opam new file mode 100644 index 00000000000..051c2e0e60f --- /dev/null +++ b/packages/bap-patterns/bap-patterns.2.4.0/opam @@ -0,0 +1,54 @@ +opam-version: "2.0" +name: "bap-patterns" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-patterns"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-patterns"] + ["ocamlfind" "remove" "bap-plugin-patterns"] + ["bapbundle" "remove" "patterns.plugin"] + +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "bitvec-order" {= "2.4.0"} + "bitvec-binprot" {= "2.4.0"} + "bitvec-sexp" {= "2.4.0"} + "bap-relation" {= "2.4.0"} + "zarith" + "xmlm" {>= "1.3.0"} + "uri" {>= "4.2.0"} + "bap-primus" {= "2.4.0"} + "fileutils" +] +synopsis: "Applies semantic actions to the matching byte patterns" +description: """ +Applies semantic actions to the matching byte patterns. The patterns +are specified in an XML format, described below, and the actions are +implemented with Primus Lisp methods. Used to identify function starts, +instruction encodings, function names, etc.""" + +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" +} diff --git a/packages/bap-phoenix/bap-phoenix.2.4.0/opam b/packages/bap-phoenix/bap-phoenix.2.4.0/opam new file mode 100644 index 00000000000..eb6eee92e4e --- /dev/null +++ b/packages/bap-phoenix/bap-phoenix.2.4.0/opam @@ -0,0 +1,47 @@ +opam-version: "2.0" +name: "bap-phoenix" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-phoenix"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-phoenix"] + ["bapbundle" "remove" "phoenix.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "cmdliner" + "text-tags" {= "2.4.0"} + "graphlib" {= "2.4.0"} + "regular" {= "2.4.0"} + "ocamlgraph" + "ezjsonm" +] +synopsis: "BAP plugin that dumps information in a phoenix decompiler format" +description: "Useful for visualization and project exploration" + +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" +} diff --git a/packages/bap-piqi/bap-piqi.2.4.0/opam b/packages/bap-piqi/bap-piqi.2.4.0/opam new file mode 100644 index 00000000000..288383b1ae5 --- /dev/null +++ b/packages/bap-piqi/bap-piqi.2.4.0/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +name: "bap-piqi" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-piqi-printers" ] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + [ "ocamlfind" "remove" "bap-plugin-piqi_printers"] + [ "ocamlfind" "remove" "bap-piqi"] + [ "bapbundle" "remove" "piqi_printers.plugin"] + [ "rm" "-rf" "%{prefix}%/share/bap/piqi"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "cmdliner" + "piqi" {>= "0.7.4"} +] +synopsis: "BAP plugin for serialization based on piqi library" + +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" +} diff --git a/packages/bap-plugins/bap-plugins.2.4.0/opam b/packages/bap-plugins/bap-plugins.2.4.0/opam new file mode 100644 index 00000000000..f69ab411973 --- /dev/null +++ b/packages/bap-plugins/bap-plugins.2.4.0/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +name: "bap-plugins" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-plugins"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugins"] + ] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "fileutils" + "uri" + "ocamlfind" + "bap-bundle" {= "2.4.0"} + "bap-future" {= "2.4.0"} +] +synopsis: "BAP plugins support library" + +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" +} diff --git a/packages/bap-powerpc/bap-powerpc.2.4.0/opam b/packages/bap-powerpc/bap-powerpc.2.4.0/opam new file mode 100644 index 00000000000..1b8cd8daba0 --- /dev/null +++ b/packages/bap-powerpc/bap-powerpc.2.4.0/opam @@ -0,0 +1,46 @@ +opam-version: "2.0" +name: "bap-powerpc" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-powerpc"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-powerpc"] + ["ocamlfind" "remove" "bap-plugin-powerpc"] + ["bapbundle" "remove" "powerpc.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "cmdliner" {>= "1.0.0" & < "2.0.0"} + "zarith" + "bap-abi" {= "2.4.0"} + "bap-api" {= "2.4.0"} + "bap-c" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "monads" {= "2.4.0"} + "ogre" {= "2.4.0"} + "regular" {= "2.4.0"} +] +synopsis: "BAP PowerPC lifter" +description: "Provides support for PPC and PPC64 architectures." + +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" +} diff --git a/packages/bap-primus-dictionary/bap-primus-dictionary.2.4.0/opam b/packages/bap-primus-dictionary/bap-primus-dictionary.2.4.0/opam new file mode 100644 index 00000000000..1cefd08ec72 --- /dev/null +++ b/packages/bap-primus-dictionary/bap-primus-dictionary.2.4.0/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +name: "bap-primus-dictionary" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-dictionary"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-primus_dictionary"] + ["bapbundle" "remove" "primus_dictionary.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} +] +synopsis: "BAP Primus Lisp library that provides dictionaries" +description: """ +Provides a key-value storage for Primus Lisp programs. Dictionaries +are represented with symbols and it is a responsibility of user to +prevent name clashing between different dictionaries.""" + +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" +} diff --git a/packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.4.0/opam b/packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.4.0/opam new file mode 100644 index 00000000000..39bc35cc99e --- /dev/null +++ b/packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.4.0/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +name: "bap-primus-exploring-scheduler" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-exploring"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-primus_exploring_scheduler"] + ["bapbundle" "remove" "primus_exploring_scheduler.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "monads" {= "2.4.0"} + "bap-future" {= "2.4.0"} +] +synopsis: "Evaluates all machines, prioritizing the least visited" + +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" +} diff --git a/packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.4.0/opam b/packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.4.0/opam new file mode 100644 index 00000000000..d682e8503d8 --- /dev/null +++ b/packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.4.0/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +name: "bap-primus-greedy-scheduler" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-greedy"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-primus_greedy_scheduler"] + ["bapbundle" "remove" "primus_greedy_scheduler.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "monads" {= "2.4.0"} +] +synopsis: "Evaluates all machines in the DFS order" + +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" +} diff --git a/packages/bap-primus-limit/bap-primus-limit.2.4.0/opam b/packages/bap-primus-limit/bap-primus-limit.2.4.0/opam new file mode 100644 index 00000000000..db04fa394de --- /dev/null +++ b/packages/bap-primus-limit/bap-primus-limit.2.4.0/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +name: "bap-primus-limit" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-limit"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-primus-limit"] + ["bapbundle" "remove" "primus_limit.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} +] +synopsis: "Ensures termination by limiting Primus machines" + +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" +} diff --git a/packages/bap-primus-lisp/bap-primus-lisp.2.4.0/opam b/packages/bap-primus-lisp/bap-primus-lisp.2.4.0/opam new file mode 100644 index 00000000000..0725a86007d --- /dev/null +++ b/packages/bap-primus-lisp/bap-primus-lisp.2.4.0/opam @@ -0,0 +1,48 @@ +opam-version: "2.0" +name: "bap-primus-lisp" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-lisp"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-primus_lisp"] + ["bapbundle" "remove" "primus_lisp.plugin"] + ["rm" "-rf" "%{prefix}%/share/bap/primus/site-lisp"] + ["rm" "-rf" "%{prefix}%/share/bap/primus/lisp"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "monads" {= "2.4.0"} + "regular" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bitvec" {= "2.4.0"} + +] +synopsis: "BAP Primus Lisp Runtime" +description: """ +The default (and the only one so far) Primus Lisp runtime. The plugin +provides Lisp primitives for manipulation program state, loads user +specified libraries, and integrates Primus Lisp with BAP universe.""" + +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" +} diff --git a/packages/bap-primus-loader/bap-primus-loader.2.4.0/opam b/packages/bap-primus-loader/bap-primus-loader.2.4.0/opam new file mode 100644 index 00000000000..c2b5cb38481 --- /dev/null +++ b/packages/bap-primus-loader/bap-primus-loader.2.4.0/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +name: "bap-primus-loader" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-loader"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-primus_loader"] + ["bapbundle" "remove" "primus_loader.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "ogre" {= "2.4.0"} +] +synopsis: "Generic program loader for Primus" + +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" +} diff --git a/packages/bap-primus-mark-visited/bap-primus-mark-visited.2.4.0/opam b/packages/bap-primus-mark-visited/bap-primus-mark-visited.2.4.0/opam new file mode 100644 index 00000000000..25f2096aa56 --- /dev/null +++ b/packages/bap-primus-mark-visited/bap-primus-mark-visited.2.4.0/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +name: "bap-primus-mark-visited" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-mark-visited"] + [make] +] + +install: [[make "install"]] + +remove: [ ["ocamlfind" "remove" "bap-plugin-primus_mark_visited"] + ["bapbundle" "remove" "primus_mark_visited.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-primus-track-visited" {= "2.4.0"} +] +synopsis: "Registers the bap:mark-visited component" + +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" +} diff --git a/packages/bap-primus-powerpc/bap-primus-powerpc.2.4.0/opam b/packages/bap-primus-powerpc/bap-primus-powerpc.2.4.0/opam new file mode 100644 index 00000000000..95fa0c6702d --- /dev/null +++ b/packages/bap-primus-powerpc/bap-primus-powerpc.2.4.0/opam @@ -0,0 +1,30 @@ +opam-version: "2.0" +name: "bap-primus-powerpc" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-powerpc"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-primus_powerpc"] + ["bapbundle" "remove" "primus_powerpc.plugin"] + ] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} +] +synopsis: "Performs the PowerPC target specific setup" + +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" +} diff --git a/packages/bap-primus-print/bap-primus-print.2.4.0/opam b/packages/bap-primus-print/bap-primus-print.2.4.0/opam new file mode 100644 index 00000000000..40cc0d80373 --- /dev/null +++ b/packages/bap-primus-print/bap-primus-print.2.4.0/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +name: "bap-primus-print" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-print"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-primus_print"] + ["bapbundle" "remove" "primus_print.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-future" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "monads" {= "2.4.0"} + "bare" {= "2.4.0"} +] +synopsis: "Prints Primus states and observations" + +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" +} diff --git a/packages/bap-primus-promiscuous/bap-primus-promiscuous.2.4.0/opam b/packages/bap-primus-promiscuous/bap-primus-promiscuous.2.4.0/opam new file mode 100644 index 00000000000..f34e9f2dd11 --- /dev/null +++ b/packages/bap-primus-promiscuous/bap-primus-promiscuous.2.4.0/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +name: "bap-primus-promiscuous" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-promiscuous"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-primus_promiscuous"] + ["bapbundle" "remove" "primus_promiscuous.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "monads" {= "2.4.0"} +] +synopsis: "Enables the promiscuous mode of execution" + +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" +} diff --git a/packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.4.0/opam b/packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.4.0/opam new file mode 100644 index 00000000000..2ca2577a7ab --- /dev/null +++ b/packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.4.0/opam @@ -0,0 +1,37 @@ +opam-version: "2.0" +name: "bap-primus-propagate-taint" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-propagate-taint" + ] + [make] +] +install: [[make "install"]] +remove: [ + ["ocamlfind" "remove" "bap-plugin-primus_propagate_taint"] + ["bapbundle" "remove" "primus_propagate_taint.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-primus" {= "2.4.0"} + "bap-taint" {= "2.4.0"} +] +synopsis: "A compatibility layer between different taint analysis frameworks" + +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" +} diff --git a/packages/bap-primus-random/bap-primus-random.2.4.0/opam b/packages/bap-primus-random/bap-primus-random.2.4.0/opam new file mode 100644 index 00000000000..52126b45afe --- /dev/null +++ b/packages/bap-primus-random/bap-primus-random.2.4.0/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +name: "bap-primus-random" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-random"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-primus_random"] + ["bapbundle" "remove" "primus_random.plugin"] + ] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "zarith" + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "bitvec-sexp" {= "2.4.0"} +] +synopsis: "Provides components for Primus state randomization" + +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" +} diff --git a/packages/bap-primus-region/bap-primus-region.2.4.0/opam b/packages/bap-primus-region/bap-primus-region.2.4.0/opam new file mode 100644 index 00000000000..c2115ca3caa --- /dev/null +++ b/packages/bap-primus-region/bap-primus-region.2.4.0/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +name: "bap-primus-region" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-region"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-primus_region"] + ["bapbundle" "remove" "primus_region.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} +] +synopsis: + "Provides a set of operations to store and manipulate interval trees" + +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" +} diff --git a/packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.4.0/opam b/packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.4.0/opam new file mode 100644 index 00000000000..d55aa07d8a8 --- /dev/null +++ b/packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.4.0/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +name: "bap-primus-round-robin-scheduler" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-round-robin"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-primus_round_robin_scheduler"] + ["bapbundle" "remove" "primus_round_robin_scheduler.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-future" {= "2.4.0"} + "monads" {= "2.4.0"} +] +synopsis: "Evaluates all machines in the BFS order" + +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" +} diff --git a/packages/bap-primus-support/bap-primus-support.2.4.0/opam b/packages/bap-primus-support/bap-primus-support.2.4.0/opam new file mode 100644 index 00000000000..68b0433b900 --- /dev/null +++ b/packages/bap-primus-support/bap-primus-support.2.4.0/opam @@ -0,0 +1,28 @@ +opam-version: "2.0" +name: "bap-primus-support" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" + +depends: [ + "bap-primus-exploring-scheduler" {= "2.4.0"} + "bap-primus-greedy-scheduler" {= "2.4.0"} + "bap-primus-limit" {= "2.4.0"} + "bap-primus-loader" {= "2.4.0"} + "bap-primus-mark-visited" {= "2.4.0"} + "bap-primus-print" {= "2.4.0"} + "bap-primus-promiscuous" {= "2.4.0"} + "bap-primus-round-robin-scheduler" {= "2.4.0"} + "bap-primus-wandering-scheduler" {= "2.4.0"} +] +synopsis: "Provides supporting components for Primus" + +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" +} diff --git a/packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.4.0/opam b/packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.4.0/opam new file mode 100644 index 00000000000..3db29cdf514 --- /dev/null +++ b/packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.4.0/opam @@ -0,0 +1,49 @@ +opam-version: "2.0" +name: "bap-primus-symbolic-executor" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-symbolic-executor"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-primus_symbolic_executor"] + ["bapbundle" "remove" "primus_symbolic_executor.plugin"]] + +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"} + "bap-primus" {= "2.4.0"} + "bap-primus-track-visited" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "monads" {= "2.4.0"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "regular" {= "2.4.0"} + "zarith" + "z3" +] +synopsis: "Primus Symbolic Executor" +description: """ +Provides the bap:symbolic-executor Primus system that uses an SMT solver (z3) to compute +inputs for as many paths as possible. It also includes the symbolic-computer +component that computes symbolic formulas for each value that depends on input +and provides Primus Lisp primitives to create symbolic values and symbolic memories, +as well as to specify additional constraints and post asserts that are dispatched to +the SMT solver. +""" + +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" +} diff --git a/packages/bap-primus-systems/bap-primus-systems.2.4.0/opam b/packages/bap-primus-systems/bap-primus-systems.2.4.0/opam new file mode 100644 index 00000000000..a09e2554298 --- /dev/null +++ b/packages/bap-primus-systems/bap-primus-systems.2.4.0/opam @@ -0,0 +1,41 @@ +opam-version: "2.0" +name: "bap-primus-systems" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-systems"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-primus_systems"] + ["bapbundle" "remove" "primus_systems.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} +] +synopsis: "Loads Primus systems and registers them in the system repository" +description: """ +The plugin installs, parses, and loads Primus systems. +Primus System is a particular composition of components, i.e. +a system is a Primus application that could be run. +""" + +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" +} diff --git a/packages/bap-primus-taint/bap-primus-taint.2.4.0/opam b/packages/bap-primus-taint/bap-primus-taint.2.4.0/opam new file mode 100644 index 00000000000..d016123294c --- /dev/null +++ b/packages/bap-primus-taint/bap-primus-taint.2.4.0/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +name: "bap-primus-taint" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-taint" ] + [make] +] +install: [[make "install"]] +remove: [ + ["ocamlfind" "remove" "bap-plugin-primus_taint"] + ["bapbundle" "remove" "primus_taint.plugin"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-taint" {= "2.4.0"} +] +synopsis: "A taint analysis control interface" + +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" +} diff --git a/packages/bap-primus-test/bap-primus-test.2.4.0/opam b/packages/bap-primus-test/bap-primus-test.2.4.0/opam new file mode 100644 index 00000000000..bb6793e4030 --- /dev/null +++ b/packages/bap-primus-test/bap-primus-test.2.4.0/opam @@ -0,0 +1,47 @@ +opam-version: "2.0" +name: "bap-primus-test" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-test"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-primus_test"] + ["bapbundle" "remove" "primus_test.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} +] +synopsis: "BAP Primus Testing and Program Verification module" +description: """ +With Primus Test Framework program analysis could be implemented as a +set of simple tests written in Primus Lisp language. The framework +provides an unified incident reporting facility for generalized +problem reporting. The framework comes with a couple of analysis on +board as a showcase. + +Memcheck - a memory checker that detects vioalations of memory +management discipline, such as use-after-free, double free, and +corrupted free. + +Check Returned Value - verifies that a program is addressing all +possible outcomes of certain API calls, e.g., checks return values, +error codes, etc.""" + +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" +} diff --git a/packages/bap-primus-track-visited/bap-primus-track-visited.2.4.0/opam b/packages/bap-primus-track-visited/bap-primus-track-visited.2.4.0/opam new file mode 100644 index 00000000000..51cf629e6ca --- /dev/null +++ b/packages/bap-primus-track-visited/bap-primus-track-visited.2.4.0/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +name: "bap-primus-track-visited" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-track-visited"] + [make] +] + +install: [[make "install"]] + +remove: [ ["ocamlfind" "remove" "bap-primus_track_visited"] ] + + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} +] +synopsis: "Tracks basic blocks visited by Primus" + +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" +} diff --git a/packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.4.0/opam b/packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.4.0/opam new file mode 100644 index 00000000000..fd61d1f619b --- /dev/null +++ b/packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.4.0/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +name: "bap-primus-wandering-scheduler" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-wandering"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-primus_wandering_scheduler"] + ["bapbundle" "remove" "primus_wandering_scheduler.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-future" {= "2.4.0"} + "monads" {= "2.4.0"} +] +synopsis: "Evaluates all machines while" + +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" +} diff --git a/packages/bap-primus-x86/bap-primus-x86.2.4.0/opam b/packages/bap-primus-x86/bap-primus-x86.2.4.0/opam new file mode 100644 index 00000000000..6d5a558fed5 --- /dev/null +++ b/packages/bap-primus-x86/bap-primus-x86.2.4.0/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +name: "bap-primus-x86" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus-x86"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-primus_x86"] + ["bapbundle" "remove" "primus_x86.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-x86" {= "2.4.0"} +] +synopsis: "The x86 CPU support package for BAP Primus CPU emulator" + +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" +} diff --git a/packages/bap-primus/bap-primus.2.4.0/opam b/packages/bap-primus/bap-primus.2.4.0/opam new file mode 100644 index 00000000000..1ec3b1d9b8b --- /dev/null +++ b/packages/bap-primus/bap-primus.2.4.0/opam @@ -0,0 +1,55 @@ +opam-version: "2.0" +name: "bap-primus" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-primus"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-primus"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "parsexp" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-abi" {= "2.4.0"} + "bap-c" {= "2.4.0"} + "bap-future" {= "2.4.0"} + "bap-strings" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "bitvec-binprot" {= "2.4.0"} + "regular" {= "2.4.0"} + "monads" {= "2.4.0"} + "graphlib" {= "2.4.0"} + "uuidm" +] +synopsis: "The BAP Microexecution Framework" +description: """ +BAP Primus is a Microexecutuin Framework. The Microexecution technique +was pioneered by Patrice Godefroid from Microsoft Research. The idea +is to execute a binary from any point, using random inputs for +undefined values. + +The idea of Primus is very similiar. A program is lifted into the +Intermediate Representation, that is interpreted using the Primus +interpreter. The Framework allows users to customize the interpreter +by implementing different machine components.""" +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" +} diff --git a/packages/bap-print/bap-print.2.4.0/opam b/packages/bap-print/bap-print.2.4.0/opam new file mode 100644 index 00000000000..0985662462a --- /dev/null +++ b/packages/bap-print/bap-print.2.4.0/opam @@ -0,0 +1,43 @@ +opam-version: "2.0" +name: "bap-print" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-print"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-print"] + ["bapbundle" "remove" "print.plugin"] + + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-demangle" {= "2.4.0"} + "text-tags" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "regular" {= "2.4.0"} + "graphlib" {= "2.4.0"} + "re" + "ogre" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} +] +synopsis: "Print plugin - print project in various formats" + +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" +} diff --git a/packages/bap-radare2/bap-radare2.2.4.0/opam b/packages/bap-radare2/bap-radare2.2.4.0/opam new file mode 100644 index 00000000000..5e800bd1fad --- /dev/null +++ b/packages/bap-radare2/bap-radare2.2.4.0/opam @@ -0,0 +1,45 @@ +opam-version: "2.0" +name: "bap-radare2" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-radare2" + ] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-radare2"] + ["bapbundle" "remove" "radare2.plugin"] +] +depends: [ + "conf-radare2" + "core_kernel" {>= "v0.14" & < "v0.15"} + "ocaml" {>= "4.08.0" } + "ppx_bap" {>= "v0.14" & < "v0.15"} + "re" + "yojson" + "zarith" + "bap-abi" {= "2.4.0"} + "bap-arm" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-future" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-relation" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "ogre" {= "2.4.0"} +] +synopsis: "Extract symbols from binary using radare2" + +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" +} diff --git a/packages/bap-raw/bap-raw.2.4.0/opam b/packages/bap-raw/bap-raw.2.4.0/opam new file mode 100644 index 00000000000..568d3f5a25c --- /dev/null +++ b/packages/bap-raw/bap-raw.2.4.0/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +name: "bap-raw" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-raw"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-raw"] + ["bapbundle" "remove" "raw.plugin"] + ] +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-main" {= "2.4.0"} +] +synopsis: "Provides a loader for raw binaries" + +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" +} diff --git a/packages/bap-recipe-command/bap-recipe-command.2.4.0/opam b/packages/bap-recipe-command/bap-recipe-command.2.4.0/opam new file mode 100644 index 00000000000..76c73dc81b2 --- /dev/null +++ b/packages/bap-recipe-command/bap-recipe-command.2.4.0/opam @@ -0,0 +1,36 @@ +opam-version: "2.0" +name: "bap-recipe-command" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-recipe-command"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-recipe_command"] + ["bapbundle" "remove" "recipe_command.plugin"] + ] +depends: [ + "ocaml" {>= "4.08.0" } + "base" + "stdio" + "parsexp" + "fileutils" + "camlzip" + "uuidm" + "bap-std" {= "2.4.0"} + "bap-recipe" {= "2.4.0"} + "bap-main" {= "2.4.0"} +] +synopsis: "Provides commands to manipulate the recipe 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" +} diff --git a/packages/bap-recipe/bap-recipe.2.4.0/opam b/packages/bap-recipe/bap-recipe.2.4.0/opam new file mode 100644 index 00000000000..5bd939f4522 --- /dev/null +++ b/packages/bap-recipe/bap-recipe.2.4.0/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +name: "bap-recipe" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-recipe"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-recipe"] + ] +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "base" + "stdio" + "parsexp" + "fileutils" + "camlzip" + "uuidm" + "stdlib-shims" +] +synopsis: "Stores command line parameters and resources in a single file" + +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" +} diff --git a/packages/bap-relation/bap-relation.2.4.0/opam b/packages/bap-relation/bap-relation.2.4.0/opam new file mode 100644 index 00000000000..6f890e27cbb --- /dev/null +++ b/packages/bap-relation/bap-relation.2.4.0/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +name: "bap-relation" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-relation"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-relation"]] +depends: [ + "ocaml" {>= "4.08.0"} + "oasis" {build & >= "0.4.7"} + "base" {>= "v0.11.0"} +] +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. +""" + +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" +} diff --git a/packages/bap-relocatable/bap-relocatable.2.4.0/opam b/packages/bap-relocatable/bap-relocatable.2.4.0/opam new file mode 100644 index 00000000000..043ec8a2d15 --- /dev/null +++ b/packages/bap-relocatable/bap-relocatable.2.4.0/opam @@ -0,0 +1,50 @@ +opam-version: "2.0" +name: "bap-relocatable" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-relocatable"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-relocatable"] + ["bapbundle" "remove" "relocatable.plugin"] + ] + +depends: [ + "core_kernel" {>= "v0.14" & < "v0.15"} + "ocaml" {>= "4.08.0" } + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-abi" {= "2.4.0"} + "bap-arm" {= "2.4.0"} + "bap-powerpc" {= "2.4.0"} + "bap-x86" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-relation" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "bitvec-order" {= "2.4.0"} + "bitvec-sexp" {= "2.4.0"} + "monads" {= "2.4.0"} + "ogre" {= "2.4.0"} +] +synopsis:"Extracts symbolic information from the program relocations" +description: """ +The relocation symbolizer leverages the relocation information stored +in files to extract symbol names.""" + +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" +} diff --git a/packages/bap-report/bap-report.2.4.0/opam b/packages/bap-report/bap-report.2.4.0/opam new file mode 100644 index 00000000000..c06a7d3d22e --- /dev/null +++ b/packages/bap-report/bap-report.2.4.0/opam @@ -0,0 +1,30 @@ +opam-version: "2.0" +name: "bap-report" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-report"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-report"] + ["bapbundle" "remove" "report.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} +] +synopsis: "A BAP plugin that reports program status" + +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" +} diff --git a/packages/bap-riscv/bap-riscv.2.4.0/opam b/packages/bap-riscv/bap-riscv.2.4.0/opam new file mode 100644 index 00000000000..84b99a8f1fb --- /dev/null +++ b/packages/bap-riscv/bap-riscv.2.4.0/opam @@ -0,0 +1,47 @@ +opam-version: "2.0" +name: "bap-riscv" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-riscv"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-riscv"] + ["ocamlfind" "remove" "bap-plugin-riscv"] + ["bapbundle" "remove" "riscv.plugin"] + +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "ogre" {= "2.4.0"} + "monads" {= "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"} +] +synopsis: "BAP RISCV lifter and disassembler" +description: """ +Provides semantics for RISCV 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" +} diff --git a/packages/bap-run/bap-run.2.4.0/opam b/packages/bap-run/bap-run.2.4.0/opam new file mode 100644 index 00000000000..243486eb495 --- /dev/null +++ b/packages/bap-run/bap-run.2.4.0/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +name: "bap-run" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-run"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-run"] + ["bapbundle" "remove" "run.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} +] +synopsis: "A BAP plugin that executes a binary" +description: "Uses the Primus Microexecution Framework to execute a binary." + +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" +} diff --git a/packages/bap-specification/bap-specification.2.4.0/opam b/packages/bap-specification/bap-specification.2.4.0/opam new file mode 100644 index 00000000000..a57020eff2d --- /dev/null +++ b/packages/bap-specification/bap-specification.2.4.0/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +name: "bap-specification" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-specification" + ] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-specification"] + ["bapbundle" "remove" "specification.plugin"] +] +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "ogre" {= "2.4.0"} + "core_kernel" {>= "v0.14" & < "v0.15"} +] +synopsis: "Implements the specification command" + +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" +} diff --git a/packages/bap-ssa/bap-ssa.2.4.0/opam b/packages/bap-ssa/bap-ssa.2.4.0/opam new file mode 100644 index 00000000000..dcf4d82510a --- /dev/null +++ b/packages/bap-ssa/bap-ssa.2.4.0/opam @@ -0,0 +1,27 @@ +opam-version: "2.0" +name: "bap-ssa" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-ssa"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-ssa"] + ["bapbundle" "remove" "ssa.plugin"]] +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} +] +synopsis: "A BAP plugin, that translates a program into the SSA form" + +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" +} diff --git a/packages/bap-std/bap-std.2.4.0/opam b/packages/bap-std/bap-std.2.4.0/opam new file mode 100644 index 00000000000..c1f187a9c23 --- /dev/null +++ b/packages/bap-std/bap-std.2.4.0/opam @@ -0,0 +1,79 @@ +opam-version: "2.0" +name: "bap-std" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--with-cxx=`which clang++`" + "--mandir=%{man}%" + "--enable-bap-std"] + [make] +] + +install: [ + [make "reinstall"] +] + +remove: [ + ["ocamlfind" "remove" "bap"] + ["rm" "-f" "%{bin}%/baptop"] + ["rm" "-f" "%{bin}%/ppx-bap"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "base-unix" + "bap-future" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "bitvec-order" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-bundle" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-plugins" {= "2.4.0"} + "bap-relation" {= "2.4.0"} + "camlzip" {>= "1.07"} + "core_kernel" {>= "v0.14" & < "v0.15"} + "bin_prot" {>= "v0.14" & < "v0.15"} + "fileutils" + "graphlib" {= "2.4.0"} + "oasis" {build & >= "0.4.7"} + "ocamlfind" {>= "1.5.6" & < "2.0"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "regular" {= "2.4.0"} + "uri" + "utop" {build & >= "2.0.0"} + "uuidm" + "zarith" + "cmdliner" {>= "0.9.8"} + "ogre" {= "2.4.0"} + "monads" {= "2.4.0"} + "result" +] +depexts: [ + ["libgmp-dev" "libzip-dev" "clang"] {os-distribution = "ubuntu"} + ["gmp" "libzip"] {os = "macos" & os-distribution = "macports"} + ["clang"] {os-distribution = "debian"} + ["binutils" "gmp-dev" "libzip-dev" "m4" "perl" "zlib-dev"] {os-distribution = "alpine"} + + +] +conflicts: [ + "fileutils" {= "0.5.0"} + "jbuilder" {= "1.0+beta18"} +] +synopsis: "The Binary Analysis Platform Standard Library" +description: "Provides the main BAP library." +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" +} diff --git a/packages/bap-strings/bap-strings.2.4.0/opam b/packages/bap-strings/bap-strings.2.4.0/opam new file mode 100644 index 00000000000..36094bb6f9e --- /dev/null +++ b/packages/bap-strings/bap-strings.2.4.0/opam @@ -0,0 +1,44 @@ +opam-version: "2.0" +name: "bap-strings" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-library"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-strings"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} +] +synopsis: "Text utilities useful in Binary Analysis and Reverse Engineering" +description: """ +The library provides several algorithms: + +- Detector - that uses a maximum aposteriori likelihood estimator + (MAP) to detect code that operates with textual data (aka Bayesian + inference). + +- Unscrambler - that is capable of finding all possible words, that + can be built from a bag of letters in O(1). + +- Scanner - a generic algorithm for finding strings of characters (a + library variant of strings tool)""" +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" +} diff --git a/packages/bap-stub-resolver/bap-stub-resolver.2.4.0/opam b/packages/bap-stub-resolver/bap-stub-resolver.2.4.0/opam new file mode 100644 index 00000000000..11fdd8ab7c4 --- /dev/null +++ b/packages/bap-stub-resolver/bap-stub-resolver.2.4.0/opam @@ -0,0 +1,55 @@ +opam-version: "2.0" +name: "bap-stub-resolver" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-stub-resolver"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-stub_resolver"] + ["bapbundle" "remove" "stub_resolver.plugin"] + ] + +depends: [ + "core_kernel" {>= "v0.14" & < "v0.15"} + "ocaml" {>= "4.08.0" } + "ppx_bap" {>= "v0.14" & < "v0.15"} + "ounit" + "bap-abi" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-relation" {= "2.4.0"} + "bap-std" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "bitvec-order" {= "2.4.0"} + "bitvec-sexp" {= "2.4.0"} + "ogre" {= "2.4.0"} +] +synopsis: "Identifies and manages stub functions in a binary" +description: """ +Identifies functions that are stubs and redirects calls to stubs to +the calls to the implemenations, in case if the latter is present in +the binary. + +A stub is piece of binary code that is used to call a function +implementation. Most commonly stubs are employed for external +functions, whose implementation is later loaded from some library, +however some ABIs are using stubs for internal functions, in case if +they have external linkage. +""" + +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" +} diff --git a/packages/bap-symbol-reader/bap-symbol-reader.2.4.0/opam b/packages/bap-symbol-reader/bap-symbol-reader.2.4.0/opam new file mode 100644 index 00000000000..3984a5e8973 --- /dev/null +++ b/packages/bap-symbol-reader/bap-symbol-reader.2.4.0/opam @@ -0,0 +1,44 @@ +opam-version: "2.0" +name: "bap-symbol-reader" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-read-symbols"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + [ "ocamlfind" "remove" "bap-plugin-read_symbols"] + [ "bapbundle" "remove" "read_symbols.plugin"] + +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "regular" {= "2.4.0"} + "bap-future" {= "2.4.0"} +] +synopsis: "BAP plugin that reads symbol information from files" + +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" +} diff --git a/packages/bap-systemz/bap-systemz.2.4.0/opam b/packages/bap-systemz/bap-systemz.2.4.0/opam new file mode 100644 index 00000000000..63c96fbd982 --- /dev/null +++ b/packages/bap-systemz/bap-systemz.2.4.0/opam @@ -0,0 +1,43 @@ +opam-version: "2.0" +name: "bap-systemz" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-systemz"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-systemz"] + ["ocamlfind" "remove" "bap-plugin-systemz"] + ["bapbundle" "remove" "systemz.plugin"] + +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "ogre" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-std" {= "2.4.0"} +] +synopsis: "A target support package for the Systemz (Z9) ISA" +description: """ +Provides semantics for Systemz instructions.""" + +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" +} diff --git a/packages/bap-taint-propagator/bap-taint-propagator.2.4.0/opam b/packages/bap-taint-propagator/bap-taint-propagator.2.4.0/opam new file mode 100644 index 00000000000..c360298cf17 --- /dev/null +++ b/packages/bap-taint-propagator/bap-taint-propagator.2.4.0/opam @@ -0,0 +1,29 @@ +opam-version: "2.0" +name: "bap-taint-propagator" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-propagate-taint"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-plugin-propagate_taint"] + ["bapbundle" "remove" "propagate_taint.plugin"]] +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} + "cmdliner" + "bap-microx" {= "2.4.0"} +] +synopsis: "BAP Taint propagation engine using based on 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" +} diff --git a/packages/bap-taint/bap-taint.2.4.0/opam b/packages/bap-taint/bap-taint.2.4.0/opam new file mode 100644 index 00000000000..b7add57e05e --- /dev/null +++ b/packages/bap-taint/bap-taint.2.4.0/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +name: "bap-taint" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-taint" + ] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bap-taint"] + ["ocamlfind" "remove" "bap-plugin-taint"] + ["bapbundle" "remove" "taint.plugin"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "bap-std" {= "2.4.0"} + "bap-primus" {= "2.4.0"} + "bap-strings" {= "2.4.0"} + "regular" {= "2.4.0"} + "monads" {= "2.4.0"} +] +synopsis: "BAP Taint Analysis Framework" +description: """ +Provides a generic library for handling program taints, and plugins +that integrate existing and new taint analysis tools with the new +framework.""" + +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" +} diff --git a/packages/bap-term-mapper/bap-term-mapper.2.4.0/opam b/packages/bap-term-mapper/bap-term-mapper.2.4.0/opam new file mode 100644 index 00000000000..b2dae0dc230 --- /dev/null +++ b/packages/bap-term-mapper/bap-term-mapper.2.4.0/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +name: "bap-term-mapper" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-map-terms"] + [make] +] + +install: [ + [make "install"] +] + +remove: [[ "ocamlfind" "remove" "bap-plugin-map_terms"] + [ "ocamlfind" "remove" "bap-bml"] + [ "bapbundle" "remove" "map_terms.plugin"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "regular" {= "2.4.0"} +] +synopsis: "A BAP DSL for mapping program terms" + +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" +} diff --git a/packages/bap-thumb/bap-thumb.2.4.0/opam b/packages/bap-thumb/bap-thumb.2.4.0/opam new file mode 100644 index 00000000000..b5f7b605d71 --- /dev/null +++ b/packages/bap-thumb/bap-thumb.2.4.0/opam @@ -0,0 +1,45 @@ +opam-version: "2.0" +name: "bap-thumb" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-thumb"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-thumb"] + ["ocamlfind" "remove" "bap-plugin-thumb"] + ["bapbundle" "remove" "thumb.plugin"] + +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "ogre" {= "2.4.0"} + "bitvec" {= "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-arm" {= "2.4.0"} +] +synopsis: "A target support package for the Thumb instruction set" +description: """ +Provides semantics for Thumb instructions. Note, this package will +be merged with the bap-arm package in the future.""" + +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" +} diff --git a/packages/bap-toplevel/bap-toplevel.2.4.0/opam b/packages/bap-toplevel/bap-toplevel.2.4.0/opam new file mode 100644 index 00000000000..a080115df56 --- /dev/null +++ b/packages/bap-toplevel/bap-toplevel.2.4.0/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +name: "bap-toplevel" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-toplevel"] + [make] +] + +install: [ + [make "install"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "ocamlfind" +] +synopsis: "BAP toplevel, baptop" +description: "The utop-enhanced bap toplevel interpreter. +Run `baptop` and start using bap right away. Or use it +as the interpreter for your BAP scripts, e.g., `baptop myprog.ml`" +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" +} diff --git a/packages/bap-trace/bap-trace.2.4.0/opam b/packages/bap-trace/bap-trace.2.4.0/opam new file mode 100644 index 00000000000..37dba5fd852 --- /dev/null +++ b/packages/bap-trace/bap-trace.2.4.0/opam @@ -0,0 +1,45 @@ +opam-version: "2.0" +name: "bap-trace" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-trace"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + ["ocamlfind" "remove" "bap-plugin-trace"] + ["bapbundle" "remove" "trace.plugin"] + ] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "bap-traces" {= "2.4.0"} + "bap-future" {= "2.4.0"} + "regular" {= "2.4.0"} + "uri" + "cmdliner" +] +synopsis: "A plugin to load and run program execution traces" + +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" +} diff --git a/packages/bap-traces/bap-traces.2.4.0/opam b/packages/bap-traces/bap-traces.2.4.0/opam new file mode 100644 index 00000000000..5865574796b --- /dev/null +++ b/packages/bap-traces/bap-traces.2.4.0/opam @@ -0,0 +1,43 @@ +opam-version: "2.0" +name: "bap-traces" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-traces"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + [ "ocamlfind" "remove" "bap-traces"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "regular" {= "2.4.0"} + "uri" {>= "1.9.0"} + "uuidm" +] +synopsis: "BAP Library for loading and parsing execution traces" +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" +} diff --git a/packages/bap-trivial-condition-form/bap-trivial-condition-form.2.4.0/opam b/packages/bap-trivial-condition-form/bap-trivial-condition-form.2.4.0/opam new file mode 100644 index 00000000000..8b67202d988 --- /dev/null +++ b/packages/bap-trivial-condition-form/bap-trivial-condition-form.2.4.0/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +name: "bap-trivial-condition-form" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-trivial-condition-form"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bap-plugin-trivial_condition_form"] + ["bapbundle" "remove" "trivial_condition_form.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-std" {= "2.4.0"} +] +synopsis: "Eliminates complex conditionals in branches" +description: """ +Ensures that all branching conditions are either a variable +or a constant. We call such representation a Trivial Condition Form +(TCF). During the translation all complex condition expressions are +hoisted into the assignemnt section of a block.""" + +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" +} diff --git a/packages/bap-warn-unused/bap-warn-unused.2.4.0/opam b/packages/bap-warn-unused/bap-warn-unused.2.4.0/opam new file mode 100644 index 00000000000..d268e052fe8 --- /dev/null +++ b/packages/bap-warn-unused/bap-warn-unused.2.4.0/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +name: "bap-warn-unused" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-warn-unused"] + [make] +] + +install: [ + [make "install"] +] + +remove: [[ "ocamlfind" "remove" "bap-plugin-warn_unused"] + ["bapbundle" "remove" "warn_unused.plugin"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "bap-std" {= "2.4.0"} + "cmdliner" +] +synopsis: + "Emit a warning if an unused result may cause a bug or security issue" + +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" +} diff --git a/packages/bap-x86/bap-x86.2.4.0/opam b/packages/bap-x86/bap-x86.2.4.0/opam new file mode 100644 index 00000000000..e3574b4137b --- /dev/null +++ b/packages/bap-x86/bap-x86.2.4.0/opam @@ -0,0 +1,48 @@ +opam-version: "2.0" +name: "bap-x86" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-x86"] + [make] +] + +install: [[make "install"]] + +remove: [ + ["ocamlfind" "remove" "bap-x86-cpu"] + ["ocamlfind" "remove" "bap-plugin-x86"] + ["bapbundle" "remove" "x86.plugin"] + +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "ogre" {= "2.4.0"} + "regular" {= "2.4.0"} + "bitvec" {= "2.4.0"} + "cmdliner" {>= "1.0.0" & < "2.0.0"} + "bap-abi" {= "2.4.0"} + "bap-api" {= "2.4.0"} + "bap-c" {= "2.4.0"} + "bap-core-theory" {= "2.4.0"} + "bap-future" {= "2.4.0"} + "bap-knowledge" {= "2.4.0"} + "bap-llvm" {= "2.4.0"} + "bap-main" {= "2.4.0"} + "bap-std" {= "2.4.0"} +] +synopsis: "BAP x86 lifter" + +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" +} diff --git a/packages/bap/bap.2.4.0/opam b/packages/bap/bap.2.4.0/opam new file mode 100644 index 00000000000..b9e3a3d24db --- /dev/null +++ b/packages/bap/bap.2.4.0/opam @@ -0,0 +1,60 @@ +opam-version: "2.0" +name: "bap" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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" + + +depends: [ + "ocaml" {>= "4.08.0" } + "bap-core" {= "2.4.0"} + "bap-beagle" {= "2.4.0"} + "bap-beagle-strings" {= "2.4.0"} + "bap-constant-tracker" {= "2.4.0"} + "bap-emacs-goodies" + "bap-microx" {= "2.4.0"} + "bap-primus-dictionary" {= "2.4.0"} + "bap-primus-powerpc" {= "2.4.0"} + "bap-primus-propagate-taint" {= "2.4.0"} + "bap-primus-random" {= "2.4.0"} + "bap-primus-region" {= "2.4.0"} + "bap-primus-support" {= "2.4.0"} + "bap-primus-systems" {= "2.4.0"} + "bap-primus-taint" {= "2.4.0"} + "bap-primus-test" {= "2.4.0"} + "bap-primus-x86" {= "2.4.0"} + "bap-run" {= "2.4.0"} + "bap-strings" {= "2.4.0"} + "bap-taint" {= "2.4.0"} + "bap-taint-propagator" {= "2.4.0"} + "bap-term-mapper" {= "2.4.0"} + "bap-trivial-condition-form" {= "2.4.0"} + "bap-warn-unused" {= "2.4.0"} +] +synopsis: "Binary Analysis Platform" +description: """ +The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a +reverse engineering and program analysis platform that works with +binary code and doesn't require the source code. BAP supports multiple +architectures: ARM, x86, x86-64, PowerPC, and MIPS. BAP disassembles +and lifts binary code into the RISC-like BAP Instruction Language +(BIL). Program analysis is performed using the BIL representation and +is architecture independent in a sense that it will work equally well +for all supported architectures. The main purpose of BAP is to provide +a toolkit for implementing automated program analysis. BAP is written +in OCaml and it is the preferred language to write analysis, but we +have bindings to C, Python and Rust. The Primus Framework also provide +a Lisp-like DSL for writing program analysis tools. + +This is a meta package that installs the default set of BAP packages, +See also [bap-extra].""" + +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" +} diff --git a/packages/bare/bare.2.4.0/opam b/packages/bare/bare.2.4.0/opam new file mode 100644 index 00000000000..093b5e5a324 --- /dev/null +++ b/packages/bare/bare.2.4.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +name: "bare" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-bare"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "bare"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "oasis" {build} + "parsexp" {>= "v0.14" & < "v0.15"} +] +synopsis: "BAP Rule Engine Library" +description: """ +BARE is a library that provides non-linear pattern matching on streams +of facts that are represented as s-expressions. We use BARE, in particular, +to process Primus observations. Since Primus components use observations to +convey their knowledge downstream it is very convenient to be able to query +and join observations through the stream. In a sense, BARE could be seen as +SQL select/join for streams.""" +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" +} diff --git a/packages/bitvec-binprot/bitvec-binprot.2.4.0/opam b/packages/bitvec-binprot/bitvec-binprot.2.4.0/opam new file mode 100644 index 00000000000..cc55e45e356 --- /dev/null +++ b/packages/bitvec-binprot/bitvec-binprot.2.4.0/opam @@ -0,0 +1,29 @@ +opam-version: "2.0" +name: "bitvec-binprot" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-bitvec-binprot"] + [make] +] +install: [[make "install"]] +remove: [ ["ocamlfind" "remove" "bitvec-binprot"] ] +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "bitvec" {= "2.4.0"} + "bin_prot" + "ppx_bap" {>= "v0.14" & < "v0.15"} +] +synopsis: "Janestreet's Binprot serialization for Bitvec" + +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" +} diff --git a/packages/bitvec-order/bitvec-order.2.4.0/opam b/packages/bitvec-order/bitvec-order.2.4.0/opam new file mode 100644 index 00000000000..44b9b0d0933 --- /dev/null +++ b/packages/bitvec-order/bitvec-order.2.4.0/opam @@ -0,0 +1,29 @@ +opam-version: "2.0" +name: "bitvec-order" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-bitvec-order"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bitvec-order"]] +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "base" + "bitvec" {= "2.4.0"} + "bitvec-sexp" {= "2.4.0"} +] +synopsis: "Base style comparators and orders for Bitvec" + +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" +} diff --git a/packages/bitvec-sexp/bitvec-sexp.2.4.0/opam b/packages/bitvec-sexp/bitvec-sexp.2.4.0/opam new file mode 100644 index 00000000000..e28c350eb15 --- /dev/null +++ b/packages/bitvec-sexp/bitvec-sexp.2.4.0/opam @@ -0,0 +1,29 @@ +opam-version: "2.0" +name: "bitvec-sexp" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-bitvec-sexp"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bitvec-sexp"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "bitvec" {= "2.4.0"} + "sexplib0" +] +synopsis: "Sexp serializers for Bitvec" + +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" +} diff --git a/packages/bitvec/bitvec.2.4.0/opam b/packages/bitvec/bitvec.2.4.0/opam new file mode 100644 index 00000000000..3b1345b4586 --- /dev/null +++ b/packages/bitvec/bitvec.2.4.0/opam @@ -0,0 +1,27 @@ +opam-version: "2.0" +name: "bitvec" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-bitvec"] + [make] +] +install: [[make "install"]] +remove: [["ocamlfind" "remove" "bitvec"] ] +depends: [ + "ocaml" {>= "4.08.0" } + "oasis" {build & >= "0.4.7"} + "zarith" +] +synopsis: "Fixed-size bitvectors and modular arithmetic, based on Zarith" + +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" +} diff --git a/packages/graphlib/graphlib.2.4.0/opam b/packages/graphlib/graphlib.2.4.0/opam new file mode 100644 index 00000000000..113c0f932ba --- /dev/null +++ b/packages/graphlib/graphlib.2.4.0/opam @@ -0,0 +1,49 @@ +opam-version: "2.0" +name: "graphlib" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-graphlib"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + ["ocamlfind" "remove" "graphlib"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "ocamlgraph" + "regular" {= "2.4.0"} +] +synopsis: "Generic Graph library" +description: """ +Graphlib is a generic library that extends a well known OCamlGraph +library. Graphlib uses its own, more reach, 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.""" +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" +} diff --git a/packages/monads/monads.2.4.0/opam b/packages/monads/monads.2.4.0/opam new file mode 100644 index 00000000000..9d5661d9d5e --- /dev/null +++ b/packages/monads/monads.2.4.0/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +name: "monads" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-monads"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "monads"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} +] +synopsis: "A missing monad library" +description: + "Provides monad transformers for most (if not all) common monads." +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" +} diff --git a/packages/ogre/ogre.2.4.0/opam b/packages/ogre/ogre.2.4.0/opam new file mode 100644 index 00000000000..9ddb34442c8 --- /dev/null +++ b/packages/ogre/ogre.2.4.0/opam @@ -0,0 +1,37 @@ +opam-version: "2.0" +name: "ogre" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-ogre"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "ogre"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "ppx_bap" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "monads" {= "2.4.0"} +] +synopsis: "Open Generic REpresentation NoSQL Database" +description: """ +OGRE is a NoSQL document-style database, that uses s-exp for data +representation and provides a type safe monadic interface for quering +and updating documents.""" +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" +} diff --git a/packages/regular/regular.2.4.0/opam b/packages/regular/regular.2.4.0/opam new file mode 100644 index 00000000000..8fcdfbc140b --- /dev/null +++ b/packages/regular/regular.2.4.0/opam @@ -0,0 +1,51 @@ +opam-version: "2.0" +name: "regular" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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}%" + "--mandir=%{man}%" + "--enable-regular"] + [make] +] + +install: [ + [make "install"] +] + +remove: [ + ["ocamlfind" "remove" "regular"] +] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} + "ppx_bap" {>= "v0.14" & < "v0.15"} +] +synopsis: "Library for 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.""" +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" +} diff --git a/packages/text-tags/text-tags.2.4.0/opam b/packages/text-tags/text-tags.2.4.0/opam new file mode 100644 index 00000000000..ce6bf860172 --- /dev/null +++ b/packages/text-tags/text-tags.2.4.0/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +name: "text-tags" +version: "2.4.0" +maintainer: "Ivan Gotovchits " +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-text-tags"] + [make] +] + +install: [[make "install"]] + +remove: [["ocamlfind" "remove" "text-tags"]] + +depends: [ + "ocaml" {>= "4.08.0" } + "core_kernel" {>= "v0.14" & < "v0.15"} + "oasis" {build & >= "0.4.7"} +] +synopsis: "A library for rich formatting using semantics tags" +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" +}