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