https://catalogue-scientifique.canada.ca/record=2105982~S6*frc
Rechercher Ganapathy, Vinod; Rechercher Jha, Somesh; Rechercher Chandler, David; Rechercher Melski, David; Rechercher Vitek, David
wisconsin univ-madison dept of computer sciences, 2003
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis...
Publication gouvernementale