2 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
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
Guillaume Girol
0.5.0
LGPL-2.1-or-later
Used by 0 other packages
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
0.1
LGPL-2.1-only
Used by 0 other packages