OCaml Packages · Search Result

2 Search Results

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

Luncov plugin of Frama-C, part of the LTest suite

software testing Frama-C LTest

Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin

0.1

LGPL-2.1-only

Used by 0 other packages