Coverity

From Wikipedia, the free encyclopedia

Coverity logo
Coverity logo

Coverity is a software vendor in San Francisco. It was incorporated in November 2002, by the founders Dawson Engler, Seth Hallem, Ben Chelf, Andy Chou and Dave Park. Coverity is based in the South of Market area of San Francisco and has over 120 employees, more than 450 customers and additional offices in Boston, the UK, and Japan.[citation needed]

Contents

[edit] Tools

Coverity sells a software tool named Prevent used for static analysis of C, C++, and Java source code. It is a commercial application which originated as the Stanford Checker,[1] which used abstract interpretation to identify defects in source code. The most notable use of Prevent is under a U.S. Department of Homeland Security contract, in which it is used to examine over 150 open source applications for bugs.[2] On 6 March 2007 it was announced that over 6000 bugs across 53 projects found by the scan had been fixed.[3][4]

Coverity Thread Analyzer for Java was released in [5] May 2008; it observes code as it is executed and identifies race conditions and deadlocks.

[edit] History

In January 2008, Coverity announced that 11 popular open source projects eliminated multiple classes of potential security vulnerabilities and quality defects from their code at the Coverity Scan site (www.scan.coverity.com). The 11 projects are Amanda, NTP, OpenPAM, OpenVPN, Overdose, Perl, PHP, Postfix, Python, Samba, and TCL.

In early 2008, after spending more than four years as a self-funded, cash-positive startup, Coverity took in a $22 million investment from Benchmark Capital and Foundation Capital. The company also added new board members:

  • Tony Zingale, former CEO of Mercury Interactive
  • Aki Fujimurra, Chairman and CEO of D2S Inc. and former CTO of Cadence Design Systems
  • Bruce Dunlevie, General Partner at Benchmark Capital
  • Paul Holland, General Partner at Foundation Capital
  • Mike Schuh, General Partner of Foundation Capital.

[edit] References

[edit] External links

Languages