Static Code Analysis: On Detection of Security Vulnerabilities and Classification of Warning Messages - Perhinschi, Andrei M. (ProQuest Dissertations and Theses, 2015)