Static Analysis and Software Assurance

Download PDF
Open Webpage

David A. Wagner

Published: 2001, Last Modified: 14 May 2025SAS 2001EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: In the past decade, explosive growth in computer networks has brought security issues to the forefront. One of the greatest challenges in computer security today is the software assurance problem: How do we deal with the fact that our most trusted software, even our security software itself, is often buggy?