this repo has no description
anil.recoil.org
1
2opam-version: "2.0"
3maintainer: "Ivan Gotovchits <ivg@ieee.org>"
4authors: "BAP Team"
5homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
6bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
7dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
8license: "MIT"
9build: [
10 ["./configure" "--prefix=%{prefix}%" "--enable-stub-resolver"]
11 [make]
12]
13
14install: [[make "install"]]
15
16remove: [
17 ["ocamlfind" "remove" "bap-plugin-stub_resolver"]
18 ["bapbundle" "remove" "stub_resolver.plugin"]
19 ]
20
21depends: [
22 "ocaml" {>= "4.07.0" & < "4.10.0"}
23 "bap-std" {= "2.1.0"}
24 "bap-abi" {= "2.1.0"}
25 "bap-knowledge" {= "2.1.0"}
26 "bap-core-theory" {= "2.1.0"}
27 "bap-main" {= "2.1.0"}
28 "bitvec-order" {= "2.1.0"}
29 "core_kernel" {>= "v0.12" & < "v0.13"}
30 "ounit"
31]
32synopsis: "Substitutes calls to stubs with calls to real functions"
33description: """
34 Provides an abi pass that transforms a program by substituting calls
35 to stubs with calls to real subroutines when they are present in
36 the binary."""
37url {
38 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.1.0.tar.gz"
39 checksum: [
40 "sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de"
41 "md5=3db9deac8d429b9b8a8ec9aec54987b1"
42 ]
43 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.1.0/v2.1.0.tar.gz"
44}