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-patterns"]
10 [make]
11]
12
13install: [[make "install"]]
14
15remove: [
16 ["ocamlfind" "remove" "bap-patterns"]
17 ["ocamlfind" "remove" "bap-plugin-patterns"]
18 ["bapbundle" "remove" "patterns.plugin"]
19
20]
21
22depends: [
23 "ocaml" {>= "4.08.0" }
24 "core_kernel" {>= "v0.14" & < "v0.15"}
25 "ppx_bap" {>= "v0.14" & < "v0.15"}
26 "bap-core-theory" {= "2.4.0"}
27 "bap-knowledge" {= "2.4.0"}
28 "bap-main" {= "2.4.0"}
29 "bap-std" {= "2.4.0"}
30 "bitvec" {= "2.4.0"}
31 "bitvec-order" {= "2.4.0"}
32 "bitvec-binprot" {= "2.4.0"}
33 "bitvec-sexp" {= "2.4.0"}
34 "bap-relation" {= "2.4.0"}
35 "zarith"
36 "xmlm" {>= "1.3.0"}
37 "uri" {>= "4.2.0"}
38 "bap-primus" {= "2.4.0"}
39 "fileutils"
40]
41synopsis: "Applies semantic actions to the matching byte patterns"
42description: """
43Applies semantic actions to the matching byte patterns. The patterns
44are specified in an XML format, described below, and the actions are
45implemented with Primus Lisp methods. Used to identify function starts,
46instruction encodings, function names, etc."""
47
48url {
49 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
50 checksum: [
51 "sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5"
52 "md5=b8b1aff8c6846f2213eafc54de07b304"
53 ]
54 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
55}