binsecversion
Semantic analysis of binary executables
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.
Tags | binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly |
---|---|
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 and Yanis Sellami |
License | LGPL-2.1-or-later |
Published | |
Homepage | https://binsec.github.io |
Issue Tracker | mailto:binsec@saxifrage.saclay.cea.fr |
Maintainer | BINSEC <binsec@saxifrage.saclay.cea.fr> |
Available | arch = "x86_64" | arch = "ppc64" | arch = "arm64" | arch = "sparc64" |
Dependencies |
|
Optional dependencies | |
Conflicts |
|
Source [http] | https://github.com/binsec/binsec/releases/download/0.9.1/binsec-0.9.1.tbz sha256=a6ccc9c0a756f6056a5bf6a2f602d59690944f4164cc180d0082c36f081e7e94 sha512=cd85654f94da9ce8fedab746c557c326821cc7932005337303607e0c52d7caf403655fc1000b34d32f1f2606ab1b3d079b9057346ef0a2f88057e0dd7b412cce |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/binsec/binsec.0.9.1/opam |
No package is dependent