this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Ivan Gotovchits <ivg@ieee.org>"
3authors: "BAP Team"
4homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
5bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
6dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
7license: "MIT"
8
9
10depends: [
11 "ocaml" {>= "4.08.0" }
12 "bap-core" {= "2.4.0"}
13 "bap-beagle" {= "2.4.0"}
14 "bap-beagle-strings" {= "2.4.0"}
15 "bap-constant-tracker" {= "2.4.0"}
16 "bap-emacs-goodies"
17 "bap-microx" {= "2.4.0"}
18 "bap-primus-dictionary" {= "2.4.0"}
19 "bap-primus-powerpc" {= "2.4.0"}
20 "bap-primus-propagate-taint" {= "2.4.0"}
21 "bap-primus-random" {= "2.4.0"}
22 "bap-primus-region" {= "2.4.0"}
23 "bap-primus-support" {= "2.4.0"}
24 "bap-primus-systems" {= "2.4.0"}
25 "bap-primus-taint" {= "2.4.0"}
26 "bap-primus-test" {= "2.4.0"}
27 "bap-primus-x86" {= "2.4.0"}
28 "bap-run" {= "2.4.0"}
29 "bap-strings" {= "2.4.0"}
30 "bap-taint" {= "2.4.0"}
31 "bap-taint-propagator" {= "2.4.0"}
32 "bap-term-mapper" {= "2.4.0"}
33 "bap-trivial-condition-form" {= "2.4.0"}
34 "bap-warn-unused" {= "2.4.0"}
35]
36synopsis: "Binary Analysis Platform"
37description: """
38The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a
39reverse engineering and program analysis platform that works with
40binary code and doesn't require the source code. BAP supports multiple
41architectures: ARM, x86, x86-64, PowerPC, and MIPS. BAP disassembles
42and lifts binary code into the RISC-like BAP Instruction Language
43(BIL). Program analysis is performed using the BIL representation and
44is architecture independent in a sense that it will work equally well
45for all supported architectures. The main purpose of BAP is to provide
46a toolkit for implementing automated program analysis. BAP is written
47in OCaml and it is the preferred language to write analysis, but we
48have bindings to C, Python and Rust. The Primus Framework also provide
49a Lisp-like DSL for writing program analysis tools.
50
51This is a meta package that installs the default set of BAP packages,
52See also [bap-extra]."""
53
54url {
55 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
56 checksum: [
57 "sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5"
58 "md5=b8b1aff8c6846f2213eafc54de07b304"
59 ]
60 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
61}