Coverity

Coverity is a brand of software development products from Synopsys, consisting primarily of static code analysis and dynamic code analysis tools. The tools enable engineers to find defects and security vulnerabilities in source code written in C, C++, Java, C#, and JavaScript.