Coverity Prevent™ Static Analysis for C/C++

Optimize software integrity and decrease development time with the most precise static source code analysis solution available today. Coverity Prevent for C/C++ automatically identifies and helps resolve the most critical quality defects, security vulnerabilities and concurrency defects at the earliest stage in the software development cycle.

Prevent’s superior source code analysis technology ensures 100% path coverage with the lowest false positive rate. Hundreds of companies worldwide have integrated Prevent seamlessly with their existing development processes to ensure source code quality and security. A scalable and proven solution, 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 apart from other C++ static analysis tools.
• Review a list of Coverity Prevent 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 can shorten your development cycles and help you deliver more reliable, secure software.