Coverity is a software engineering company focused on developing a better way to build software. While hardware design has always been considered a difficult task that merits significant investments in automation and verification, the notion that building software is just as difficult has only recently gained credibility in the marketplace. Coverity was founded to meet that insight with a solution: analyze source code with sophisticated, automatic tools that allow software developers to identify defects that could cause catastrophic failures or security breaches without imposing any additional burden on the development cycle. Coverity’s fundamental technology was developed in the Computer Systems Laboratory at Stanford University. The Stanford research team produced the first bug finding system that was capable of detecting thousands of critical defects in open source projects such as Linux and FreeBSD. After consulting the kernel implementers to validate the results of the early research, the Stanford system, then known as the MC Checker, was instantly distinguished in the research community as the most effective source code analysis system ever built.