Known Vulnerabilities in Synopsys Coverity