Coverity Prevent™ Static Analysis for Java

Optimize software integrity and decrease development time with the most precise static source code analysis solution available today. Coverity Prevent for Java automatically scans large, complex Java code bases at the earliest stage in the development cycle and detects critical, must-fix defects that often lead to runtime exceptions, unpredictable behavior and performance degradation.

Prevent’s superior source code analysis technology ensures 100% path coverage with the lowest false positive rate. Scalable to meet the needs of any organization, Prevent for Java integrates seamlessly with existing development processes and scans millions of lines of code in hours.

Hundreds of companies worldwide have integrated Prevent seamlessly with their existing development processes to ensure source code quality. Prevent is the tool of choice for developers who demand flexibility, maturity and accuracy in source code analysis.

• See the key capabilities that set Prevent for Java apart from other static code analysis tools.
• Review a list of Coverity Prevent for Java features.

3 Steps to Software Integrity

 

The Software DNA Map

Coverity’s proprietary Software DNA Map analysis system generates a map of the entire build system – not just calls to the compiler – then analyzes that map to achieve a complete understanding of the full code base.

 

Defect Detection

Prevent combines comprehensive path simulation with state-of-the-art Boolean Satisfiability techniques to ensure 100% coverage of all data paths and values with average false positive rates below 15%.

 

Resolution

The Defect Manager provides a comprehensive workflow platform that allows teams to collaboratively view analysis results, triage defects, assign ownership, and more. The web-based interface enables analysis and remediation anytime, anywhere.

Contact us to find out how Coverity Prevent for Java can shorten your development cycles and improve the quality of your critical Java code.