/
opam
39 lines (35 loc) · 1.58 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
opam-version: "2.0"
maintainer: "Ivan Gotovchits <ivg@ieee.org>"
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
depends: [
"bap" {= "2.4.0"}
"bap-elf" {= "2.4.0"}
"bap-primus-symbolic-executor" {= "2.4.0"}
"bap-ghidra" {= "2.4.0"}
"bap-trace" {= "2.4.0"}
"bap-traces" {= "2.4.0"}
]
synopsis: "Binary Analysis Platform"
description: """
The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a
reverse engineering and program analysis platform that works with
binary code and doesn't require the source code. BAP supports multiple
architectures: ARM, x86, x86-64, PowerPC, and MIPS. BAP disassembles
and lifts binary code into the RISC-like BAP Instruction Language
(BIL). Program analysis is performed using the BIL representation and
is architecture independent in a sense that it will work equally well
for all supported architectures. The main purpose of BAP is to provide
a toolkit for implementing automated program analysis. BAP is written
in OCaml and it is the preferred language to write analysis, but we
have bindings to C, Python and Rust. The Primus Framework also provide
a Lisp-like DSL for writing program analysis tools.
This is a meta package that installs essential parts of BAP."""
url {
src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
checksum: "md5=b8b1aff8c6846f2213eafc54de07b304"
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
}