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