Known Vulnerabilities in Synopsys Coverity 2.1.0