forked from ocaml/opam-repository
-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request ocaml#25781 from recoules/release-binsec-0.9.0
[new release] binsec (0.9.0)
- Loading branch information
Showing
1 changed file
with
107 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,107 @@ | ||
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" | ||
"Chakib Foulani" | ||
"Dorian Lesbre" | ||
"Frédéric Recoules" | ||
"Guillaume Girol" | ||
"Josselin Feist" | ||
"Lesly-Ann Daniel" | ||
"Mahmudul Faisal Al Ameen" | ||
"Manh-Dung Nguyen" | ||
"Mathéo Vergnolle" | ||
"Mathilde Ollivier" | ||
"Matthieu Lemerre" | ||
"Nicolas Bellec" | ||
"Olivier Nicole" | ||
"Richard Bonichon" | ||
"Robin David" | ||
"Sébastien Bardin" | ||
"Soline Ducousso" | ||
"Ta Thanh Dinh" | ||
"Yaëlle Vinçont" | ||
"Yanis Sellami" | ||
] | ||
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" {>= "3.0"} | ||
"ocaml" {>= "4.11"} | ||
"menhir" {build & >= "20181113"} | ||
"ocamlgraph" {>= "1.8.5"} | ||
"zarith" {>= "1.4"} | ||
"dune-site" | ||
"grain_dypgen" | ||
"toml" {>= "6"} | ||
"ounit2" {with-test & >= "2"} | ||
"qcheck" {with-test & >= "0.7"} | ||
"ocamlformat" {with-dev-setup & = "0.26.1"} | ||
"odoc" {with-doc} | ||
] | ||
depopts: ["curses" "llvm" "unisim_archisec" "bitwuzla" "bitwuzla-cxx"] | ||
conflicts: [ | ||
"llvm" {< "6.0.0" | >= "16.0.0"} | ||
"bitwuzla" {< "1.0.4"} | ||
"bitwuzla-cxx" {< "0.4"} | ||
"unisim_archisec" {< "0.0.6"} | ||
] | ||
build: [ | ||
["dune" "subst"] {dev} | ||
[ | ||
"dune" | ||
"build" | ||
"-p" | ||
name | ||
"-j" | ||
jobs | ||
"--promote-install-files=false" | ||
"@install" | ||
"@runtest" {with-test} | ||
"@doc" {with-doc} | ||
] | ||
["dune" "install" "-p" name "--create-install-files" name] | ||
] | ||
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.9.0/binsec-0.9.0.tbz" | ||
checksum: [ | ||
"sha256=d959c2351b6cac10ffbdaf112769a676c9ad84bf6bc7fefa5cb1daa8d086cc97" | ||
"sha512=1a3951896f05fb3a4cb05e81830373c75409a69c49323dc82e97c94889927b5f9561e704565a22c2a608842f67063d6c89a330477165b197a40d6ac231c09a7e" | ||
] | ||
} | ||
x-commit-hash: "e5c629bd8091deaec68fb178a61fc9d22c65acbd" |