A Hybrid Framework for the Systematic Detection of Software Security Vulnerabilities in Source Code