Static Analysis Method for Detecting Buffer Overflow Vulnerabilities

F. M. Puchkov, K. A. Shapchenko. Static Analysis Method for Detecting Buffer Overflow Vulnerabilities. Programming and Computer Software, 31(4):179-189, 2005. [doi]

Abstract

Abstract is missing.