/
opam
96 lines (91 loc) · 2.35 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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
opam-version: "2.0"
synopsis: "Semantic analysis of binary executables"
description: """
BINSEC aims at developing an open-source platform filling the gap between formal
methods over executable code and binary-level security analyses currently used
in the security industry.
The project targets the following applicative domains:
vulnerability analyses
malware comprehension
code protection
binary-level verification
BINSEC is developed at CEA List in scientfic collaboration with Verimag and LORIA.
An overview of some BINSEC features can be found in our SSPREW'17 tutorial."""
maintainer: ["BINSEC <binsec@saxifrage.saclay.cea.fr>"]
authors: [
"Adel Djoudi"
"Benjamin Farinier"
"Frédéric Recoules"
"Josselin Feist"
"Lesly-Ann Daniel"
"Manh-Dung Nguyen"
"Mathilde Ollivier"
"Matthieu Lemerre"
"Olivier Nicole"
"Richard Bonichon"
"Robin David"
"Ta Thanh Dinh"
"Yaëlle Vinçont"
"Guillaume Girol"
]
license: "LGPL-2.1-or-later"
tags: [
"binary code analysis"
"symbolic execution"
"deductive"
"program verification"
"formal specification"
"automated theorem prover"
"plugins"
"abstract interpretation"
"dataflow analysis"
"linking"
"disassembly"
]
homepage: "https://binsec.github.io"
bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr"
depends: [
"dune" {>= "2.8"}
"ocaml" {>= "4.08" & < "5.0.0"}
"menhir" {build & >= "20181113" & < "20211223"}
"ocamlgraph" {>= "1.8.5"}
"zarith" {>= "1.4"}
"dune-site"
"ounit2" {with-test & >= "2"}
"qcheck" {with-test & >= "0.7"}
"odoc" {with-doc}
]
depopts: [
"llvm"
"unisim_archisec"
"bitwuzla"
]
conflicts: [
"llvm" {< "6.0.0" | >= "13.0.0"}
"bitwuzla" {< "1.0.1"}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://github.com/binsec/binsec.git"
available: [ arch = "x86_64" | arch = "ppc64" | arch = "arm64" | arch = "sparc64" ]
url {
src:
"https://github.com/binsec/binsec/releases/download/0.4.1/binsec-0.4.1.tbz"
checksum: [
"sha256=b58b418420d5fd0c54c9ba57e2fa9e2ff4a70f8bc965683ec9ed9731a5a4fd4f"
"sha512=e934d817dd3f23acb4fc59996a3f34d5c7080b19814f54c2164c36abdc047539637c97f1a222e78b549cd9754ac2a0a4a568ba600dc11548c6b25f3ec33c518e"
]
}
x-commit-hash: "b7474140946ca4e74e490c76540d5699dcc84f7a"