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"
8build: [
9 ["./configure" "--prefix=%{prefix}%" "--enable-stub-resolver"]
10 [make]
11]
12
13install: [[make "install"]]
14
15remove: [
16 ["ocamlfind" "remove" "bap-plugin-stub_resolver"]
17 ["bapbundle" "remove" "stub_resolver.plugin"]
18 ]
19
20depends: [
21 "core_kernel" {>= "v0.14"}
22 "ocaml" {>= "4.08.0" }
23 "ppx_bap" {>= "v0.14"}
24 "ounit"
25 "bap-abi" {= "2.2.0"}
26 "bap-core-theory" {= "2.2.0"}
27 "bap-knowledge" {= "2.2.0"}
28 "bap-main" {= "2.2.0"}
29 "bap-relation" {= "2.2.0"}
30 "bap-std" {= "2.2.0"}
31 "bitvec" {= "2.2.0"}
32 "bitvec-order" {= "2.2.0"}
33 "bitvec-sexp" {= "2.2.0"}
34 "ogre" {= "2.2.0"}
35]
36synopsis: "Identifies and manages stub functions in a binary"
37description: """
38Identifies functions that are stubs and redirects calls to stubs to
39the calls to the implemenations, in case if the latter is present in
40the binary.
41
42A stub is piece of binary code that is used to call a function
43implementation. Most commonly stubs are employed for external
44functions, whose implementation is later loaded from some library,
45however some ABIs are using stubs for internal functions, in case if
46they have external linkage.
47"""
48
49url {
50 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.2.0.tar.gz"
51 checksum: [
52 "sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46"
53 "md5=5dbc6677d646bec59fd7414f23e88cf8"
54 ]
55 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.2.0/v2.2.0.tar.gz"
56}