Known Vulnerabilities in Synopsys Coverity 1.0.0