about us

A Revolution in Source Code Analysis

Coverity is a software engineering company that provides automated source code analysis tools to improve the software development process. Coverity’s advanced technology helps companies deliver the most reliable and secure software possible.

Hardware design has always been considered a difficult task, requiring significant investments in automation and verification. But the idea that building software is equally difficult has only recently gained credibility. Coverity meets that insight by providing automated tools that enable software developers to quickly, thoroughly, and accurately analyze their source code early in the development process.

These tools enable software developers to pinpoint defects that could cause catastrophic failures or security breaches. Coverity Prevent™ and Coverity Extend™ help software companies build better products, decrease time-to-market, and decrease risks.

A Breakthrough in Technology

The foundational technology for Coverity Prevent and Coverity Extend was developed in the Computer Systems Laboratory at Stanford University in Palo Alto, California, from 1998 through 2002. In November 2003, the Stanford research team released the first system capable of detecting thousands of critical defects in open source projects such as Linux and FreeBSD. Soon afterward, industry and research experts quickly recognized the Stanford system (then known as the “MC Checker”) as the most effective source code analysis system ever built.

Shifting focus from research to industry, Stanford team members Andy Chou, Benjamin Chelf, Dawson Engler, and Seth Hallem went on to apply this technology to develop the Coverity products for commercial use. Coverity continues to evolve these source code analysis systems with the goal of providing customers with increasingly accurate and ever-greater code analysis capabilities.


To learn more about how Coverity can help your business, please contact us at sales@coverity.com or call us Internationally at +1 415 321 5237 and in the US toll-free at (800) 873-8193

whitepaper White Papers Read "Controlling Software Complexity"