Visible to the public SCC Meeting 14 - Program Agenda


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


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.