Coverity -Static analysis, software quality for C, C++, Java

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. Coverity's static source code analysis solutions automatically enable better software quality by providing development teams with tools to systematically measure, analyze, and improve both the inputs to the software production process and the results produced.