proofs

file

Visible to the public CodeHawk: Sound Static Analysis for Proving the Absence of Memory Related Software Vulnerabilities

Abstract:

Most software vulnerabilities are due to coding errors. Testing is commonly the main means for detecting vulnerabilities, but testing alone only explores a small fraction of the possible behaviors of software. Sound static analysis is a technology that can examine source code and reason about all of its behaviors in order to detect coding errors that lead to vulnerabilities.