A survey of static analysis methods for identifying security vulnerabilities in software systems

Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav. A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM Systems Journal, 46(2):265-288, 2007. [doi]

Abstract

Abstract is missing.