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
9depends: [
10 "ocaml" {>= "4.07.0" & < "4.10.0"}
11 "bap-abi" {= "2.1.0"}
12 "bap-api" {= "2.1.0"}
13 "bap-arm" {= "2.1.0"}
14 "bap-beagle" {= "2.1.0"}
15 "bap-bil" {= "2.1.0"}
16 "bap-build" {= "2.1.0"}
17 "bap-bundle" {= "2.1.0"}
18 "bap-byteweight" {= "2.1.0"}
19 "bap-c" {= "2.1.0"}
20 "bap-cache" {= "2.1.0"}
21 "bap-cxxfilt" {= "2.1.0"}
22 "bap-callsites" {= "2.1.0"}
23 "bap-constant-tracker" {= "2.1.0"}
24 "bap-demangle" {= "2.1.0"}
25 "bap-disassemble" {= "2.1.0"}
26 "bap-dump-symbols" {= "2.1.0"}
27 "bap-elementary" {= "2.1.0"}
28 "bap-elf" {= "2.1.0"}
29 "bap-frontend" {= "2.1.0"}
30 "bap-frontc" {= "2.1.0"}
31 "bap-glibc-runtime" {= "2.1.0"}
32 "bap-llvm" {= "2.1.0"}
33 "bap-main" {= "2.1.0"}
34 "bap-mc" {= "2.1.0"}
35 "bap-microx" {= "2.1.0"}
36 "bap-mips" {= "2.1.0"}
37 "bap-objdump" {= "2.1.0"}
38 "bap-optimization" {= "2.1.0"}
39 "bap-plugins" {= "2.1.0"}
40 "bap-powerpc" {= "2.1.0"}
41 "bap-primus" {= "2.1.0"}
42 "bap-primus-dictionary" {= "2.1.0"}
43 "bap-primus-lisp" {= "2.1.0"}
44 "bap-primus-powerpc" {= "2.1.0"}
45 "bap-primus-random" {= "2.1.0"}
46 "bap-primus-region" {= "2.1.0"}
47 "bap-primus-support" {= "2.1.0"}
48 "bap-primus-symbolic-executor" {= "2.1.0"}
49 "bap-primus-systems" {= "2.1.0"}
50 "bap-primus-test" {= "2.1.0"}
51 "bap-primus-x86" {= "2.1.0"}
52 "bap-print" {= "2.1.0"}
53 "bap-raw" {= "2.1.0"}
54 "bap-recipe" {= "2.1.0"}
55 "bap-recipe-command" {= "2.1.0"}
56 "bap-relocatable" {= "2.1.0"}
57 "bap-report" {= "2.1.0"}
58 "bap-run" {= "2.1.0"}
59 "bap-ssa" {= "2.1.0"}
60 "bap-std" {= "2.1.0"}
61 "bap-strings" {= "2.1.0"}
62 "bap-stub-resolver" {= "2.1.0"}
63 "bap-symbol-reader" {= "2.1.0"}
64 "bap-taint" {= "2.1.0"}
65 "bap-taint-propagator" {= "2.1.0"}
66 "bap-term-mapper" {= "2.1.0"}
67 "bap-trace" {= "2.1.0"}
68 "bap-traces" {= "2.1.0"}
69 "bap-trivial-condition-form" {= "2.1.0"}
70 "bap-warn-unused" {= "2.1.0"}
71 "bap-x86" {= "2.1.0"}
72 "bap-emacs-goodies"
73]
74synopsis: "Binary Analysis Platform"
75description: """
76The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a
77reverse engineering and program analysis platform that works with
78binary code and doesn't require the source code. BAP supports multiple
79architectures: ARM, x86, x86-64, PowerPC, and MIPS. BAP disassembles
80and lifts binary code into the RISC-like BAP Instruction Language
81(BIL). Program analysis is performed using the BIL representation and
82is architecture independent in a sense that it will work equally well
83for all supported architectures. The main purpose of BAP is to provide
84a toolkit for implementing automated program analysis. BAP is written
85in OCaml and it is the preferred language to write analysis, but we
86have bindings to C, Python and Rust. The Primus Framework also provide
87a Lisp-like DSL for writing program analysis tools.
88
89This is a meta package that installs essential parts of BAP."""
90url {
91 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.1.0.tar.gz"
92 checksum: [
93 "sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de"
94 "md5=3db9deac8d429b9b8a8ec9aec54987b1"
95 ]
96 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.1.0/v2.1.0.tar.gz"
97}