Coverity Static Analysis, formerly Coverity Prevent, leverages the most sophisticated, patented analysis techniques for finding and eliminating hard-to-spot, crash-causing defects in your code at the earliest phase of the development lifecycle. The most accurate static code analysis solution available today, Coverity Static Analysis automatically scans complex heterogeneous C/C++, Java and C# code bases with no changes to your code or build system, scaling to any size code base in a single analysis. Coverity Static Analysis’ intuitive interface makes it easy for developers to quickly find the defects they own, zoom in instantly on the priority defects that matter, and save resolution time through state of the art defect triage, increasing productivity and reducing the risk of costly product quality issues.
Customizable AnalysisCoverity Static Analysis provides the ability to fine tune analyses by modifying either the number of checkers deployed, or the settings specific to an individual checker, such as the threshold for null pointer dereferences. The ability to configure Coverity for a particular code block, or application, allows developers to select the level of performance most appropriate for their application, and leads to more accurate and reliable results. The Coverity Software Development Kit allows you to detect unique defect types in C and C++ code by creating custom checkers. This is in addition to creating custom checkers for finding concurrency, exception handling, and other critical issues. Read more: Coverity Static Analysis
Customizable AnalysisCoverity Static Analysis provides the ability to fine tune analyses by modifying either the number of checkers deployed, or the settings specific to an individual checker, such as the threshold for null pointer dereferences. The ability to configure Coverity for a particular code block, or application, allows developers to select the level of performance most appropriate for their application, and leads to more accurate and reliable results. The Coverity Software Development Kit allows you to detect unique defect types in C and C++ code by creating custom checkers. This is in addition to creating custom checkers for finding concurrency, exception handling, and other critical issues. Read more: Coverity Static Analysis