Coverity

From Wikipedia, the free encyclopedia

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 a boot-strap startup, meaning there is no venture capital or angel investors. The founders were able to generate enough money from sales to grow organically. It currently employs over 50 people.

Coverity sells a software tool named Prevent used for static analysis of C and C++ source code. It is a commercial application which originated as the Stanford Checker [1], which used model checking to verify source correctness. 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]

[edit] External links

• Coverity website
  • The open source application scan
• "LAMP lights the way in open-source security" - ZDNet
• Email from Ben Chelf, Coverity's CTO, to the Linux kernel mailing list notifying developers of the defects found in the Linux kernel