Coverity -Static analysis, software quality for C,

Coverity Prevent, a static source code analysis tool is the leading automated approach to identifying and resolving the most critical defects in C, C++ and Java source code. By providing a complete understanding of your build environment, source code, and development process, Prevent sets the standard for enabling high-quality software.