Coverity

Coverity (www.coverity.com), the software integrity company, is the trusted standard for companies that have a zero tolerance policy for software failures, problems, and security breaches. Coverity’s award winning portfolio of software integrity products helps customers prevent software problems throughout the application lifecycle. Over 100,000 developers and 600 companies rely on Coverity to help them ensure the delivery of superior software. Coverity is a privately held company headquartered in San Francisco.

Coverity takes a new approach to source code analysis. Coverity's innovations in meta-compilation, Boolean satisfiability and multi-threaded application analysis enable the accurate analysis of large code bases in a fraction of the time required by other source code analysis products. Coverity is the first solution to identify defects with a combination of precision, speed, and accuracy that effectively deals with the size and complexity of today’s code. In addition, Coverity addresses many of the key problems that have traditionally hampered source code analysis: build integration, compiler compatibility, high rate of false positives, and effective root-cause analysis.

Coverity has two product offerings:

• Coverity Integrity Center — A suite of advanced tools that includes Architecture Analysis, Static Analysis (Coverity Prevent), Build Analysis and Dynamic analysis.
• Coverity Prevent — The industry-leading static analysis solution