this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Semantic analysis of binary executables"
3description: """
4
5BINSEC aims at developing an open-source platform filling the gap between formal
6methods over executable code and binary-level security analyses currently used
7in the security industry.
8
9The project targets the following applicative domains:
10
11 vulnerability analyses
12 malware comprehension
13 code protection
14 binary-level verification
15
16BINSEC is developed at CEA List in scientfic collaboration with Verimag and LORIA.
17
18An overview of some BINSEC features can be found in our SSPREW'17 tutorial."""
19maintainer: ["BINSEC <binsec@saxifrage.saclay.cea.fr>"]
20authors: [
21 "Adel Djoudi"
22 "Benjamin Farinier"
23 "Chakib Foulani"
24 "Dorian Lesbre"
25 "Frédéric Recoules"
26 "Guillaume Girol"
27 "Josselin Feist"
28 "Lesly-Ann Daniel"
29 "Manh-Dung Nguyen"
30 "Mathéo Vergnolle"
31 "Mathilde Ollivier"
32 "Matthieu Lemerre"
33 "Olivier Nicole"
34 "Richard Bonichon"
35 "Robin David"
36 "Sébastien Bardin"
37 "Soline Ducousso"
38 "Ta Thanh Dinh"
39 "Yaëlle Vinçont"
40]
41license: "LGPL-2.1-or-later"
42tags: [
43 "binary code analysis"
44 "symbolic execution"
45 "deductive"
46 "program verification"
47 "formal specification"
48 "automated theorem prover"
49 "plugins"
50 "abstract interpretation"
51 "dataflow analysis"
52 "linking"
53 "disassembly"
54]
55homepage: "https://binsec.github.io"
56bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr"
57depends: [
58 "dune" {>= "3.0"}
59 "ocaml" {>= "4.11" & < "5"}
60 "menhir" {build & >= "20181113"}
61 "ocamlgraph" {>= "1.8.5"}
62 "zarith" {>= "1.4"}
63 "dune-site"
64 "grain_dypgen"
65 "toml" {>= "6"}
66 "ounit2" {with-test & >= "2"}
67 "qcheck" {with-test & >= "0.7"}
68 "ocamlformat" {with-dev-setup & = "0.26.1"}
69 "odoc" {with-doc}
70]
71depopts: ["curses" "llvm" "unisim_archisec" "bitwuzla"]
72conflicts: [
73 "llvm" {< "6.0.0" | >= "16.0.0"}
74 "bitwuzla" {< "1.0.4"}
75 "unisim_archisec" {< "0.0.6"}
76]
77build: [
78 ["dune" "subst"] {dev}
79 [
80 "dune"
81 "build"
82 "-p"
83 name
84 "-j"
85 jobs
86 "--promote-install-files=false"
87 "@install"
88 "@runtest" {with-test}
89 "@doc" {with-doc}
90 ]
91 ["dune" "install" "-p" name "--create-install-files" name]
92]
93dev-repo: "git+https://github.com/binsec/binsec.git"
94available: [ arch = "x86_64" | arch = "ppc64" | arch = "arm64" | arch = "sparc64" ]
95url {
96 src:
97 "https://github.com/binsec/binsec/releases/download/0.8.1/binsec-0.8.1.tbz"
98 checksum: [
99 "sha256=94090e05906c7a0559f60d2c65dbe167eb5953a2338b958b71911c1c81dd9ffd"
100 "sha512=6f52f8918c3c242f1346ebdc244f80744966112b935e00519e5d4d5acc040f8e2d2c54ff6b172cf5eb34b9bf7366de085605de88fcc15c43f34abce39ed34220"
101 ]
102}
103x-commit-hash: "34e2897f2d813ae203b01a7273edafd747547813"