Statically Detecting Likely Buffer Overflow Vulnerabilities
David Larochelle
David Evans
University of Virginia
Department of Computer Science
Supported by USENIX Student Grant and NASA LRC