4 Search Results
binsec
Semantic analysis of binary executables
binary code analysis
symbolic execution
deductive
program verification
formal specification
automated theorem prover
plugins
abstract interpretation
dataflow analysis
linking
disassembly
Adel Djoudi
Benjamin Farinier
Chakib Foulani
Dorian Lesbre
Frédéric Recoules
Guillaume Girol
Josselin Feist
Lesly-Ann Daniel
Manh-Dung Nguyen
Mathéo Vergnolle
Mathilde Ollivier
Matthieu Lemerre
Olivier Nicole
Richard Bonichon
Robin David
Sébastien Bardin
Soline Ducousso
Ta Thanh Dinh
Yaëlle Vinçont
0.6.3
LGPL-2.1-or-later
Used by 0 other packages