Coverity Mainpage

Coverity detects critical, hard-to-find, crash-causing defects and exploitable security vulnerabilities in source code during coding or during the system build process.

Coverity´s static testing tools are available for C/C++ and Java.

To learn more about Coverity Prevent and Coverity Extend please have a look to the following pages (you can also start with Coverity Overview page and click on the arrow "next page" on the bottom of each page to get a full overview).

Coverity Overview

Coverity Prevent ™ (718 KB)

Coverity Extend™ (51 KB)
Coverity Products
Coverity Factsheet
Coverity Prevent
    Map the Software DNA (C/C+)
    Analysis Engine
    Resolves Defects (C/C++)
    Quality
    Security
    Concurrency
    Defect Manager
Coverity Extend
The Coverity Difference
Coverity Supported Platforms
Revolution in Source Code Analysis
Who uses Coverity?
    References
    Coverity Case Studies
Coverity Professional Services
    Advanced Quick Start
    Integrated Quick Start
    Coverity Clear
Coverity Documents

Coverity Mainpage

last updated: 12.02.2008

© 2006-2008 Verifysoft Technology GmbH
Prevent and Extend are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners.