Coverity

Coverity is a static code analysis tool from Synopsys. This product enables engineers and security teams to quickly find and fix defects and security vulnerabilities in custom source code written in C, C++, Java, C#, JavaScript and more.