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 verificationBINSEC 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, 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 and Guillaume Girol |
| 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.4.1/binsec-0.4.1.tbz sha256=b58b418420d5fd0c54c9ba57e2fa9e2ff4a70f8bc965683ec9ed9731a5a4fd4f sha512=e934d817dd3f23acb4fc59996a3f34d5c7080b19814f54c2164c36abdc047539637c97f1a222e78b549cd9754ac2a0a4a568ba600dc11548c6b25f3ec33c518e |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/binsec/binsec.0.4.1/opam |
No package is dependent
