1 search result for "tag:"symbolic execution""

Showing 1 - 1

binsec
Documentation

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 et al.

0.9.1

LGPL-2.1-or-later

Used by 0 other packages

21 May 2024