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.4.0"}
12 "bap-analyze" {= "2.4.0"}
13 "bap-api" {= "2.4.0"}
14 "bap-arm" {= "2.4.0"}
15 "bap-bil" {= "2.4.0"}
16 "bap-build" {= "2.4.0"}
17 "bap-bundle" {= "2.4.0"}
18 "bap-byteweight" {= "2.4.0"}
19 "bap-c" {= "2.4.0"}
20 "bap-cache" {= "2.4.0"}
21 "bap-cxxfilt" {= "2.4.0"}
22 "bap-callgraph-collator" {= "2.4.0"}
23 "bap-callsites" {= "2.4.0"}
24 "bap-demangle" {= "2.4.0"}
25 "bap-dependencies" {= "2.4.0"}
26 "bap-disassemble" {= "2.4.0"}
27 "bap-dump-symbols" {= "2.4.0"}
28 "bap-elementary" {= "2.4.0"}
29 "bap-flatten" {= "2.4.0"}
30 "bap-frontend" {= "2.4.0"}
31 "bap-frontc" {= "2.4.0"}
32 "bap-glibc-runtime" {= "2.4.0"}
33 "bap-llvm" {= "2.4.0"}
34 "bap-main" {= "2.4.0"}
35 "bap-mc" {= "2.4.0"}
36 "bap-mips" {= "2.4.0"}
37 "bap-objdump" {= "2.4.0"}
38 "bap-optimization" {= "2.4.0"}
39 "bap-patterns" {= "2.4.0"}
40 "bap-plugins" {= "2.4.0"}
41 "bap-powerpc" {= "2.4.0"}
42 "bap-primus" {= "2.4.0"}
43 "bap-primus-lisp" {= "2.4.0"}
44 "bap-print" {= "2.4.0"}
45 "bap-raw" {= "2.4.0"}
46 "bap-recipe" {= "2.4.0"}
47 "bap-recipe-command" {= "2.4.0"}
48 "bap-relation" {= "2.4.0"}
49 "bap-relocatable" {= "2.4.0"}
50 "bap-report" {= "2.4.0"}
51 "bap-riscv" {= "2.4.0"}
52 "bap-specification" {= "2.4.0"}
53 "bap-ssa" {= "2.4.0"}
54 "bap-std" {= "2.4.0"}
55 "bap-stub-resolver" {= "2.4.0"}
56 "bap-symbol-reader" {= "2.4.0"}
57 "bap-systemz" {= "2.4.0"}
58 "bap-thumb" {= "2.4.0"}
59 "bap-toplevel" {= "2.4.0"}
60 "bap-x86" {= "2.4.0"}
61]
62synopsis: "Binary Analysis Platform"
63description: """
64The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a
65reverse engineering and program analysis platform that works with
66binary code and doesn't require the source code. BAP supports multiple
67architectures: ARM, x86, x86-64, PowerPC, and MIPS. BAP disassembles
68and lifts binary code into the RISC-like BAP Instruction Language
69(BIL). Program analysis is performed using the BIL representation and
70is architecture independent in a sense that it will work equally well
71for all supported architectures. The main purpose of BAP is to provide
72a toolkit for implementing automated program analysis. BAP is written
73in OCaml and it is the preferred language to write analysis, but we
74have bindings to C, Python and Rust. The Primus Framework also provide
75a Lisp-like DSL for writing program analysis tools.
76
77This is a meta package that installs the core parts of BAP, exluding analysis."""
78
79url {
80 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
81 checksum: [
82 "sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5"
83 "md5=b8b1aff8c6846f2213eafc54de07b304"
84 ]
85 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
86}