Coverity
American software company
title: "Coverity" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["static-program-analysis-tools", "software-testing-tools", "software-companies-based-in-california", "companies-based-in-san-francisco", "defunct-software-companies-of-the-united-states", "2014-mergers-and-acquisitions"] description: "American software company" topic_path: "technology/software-engineering" source: "https://en.wikipedia.org/wiki/Coverity" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0
::summary American software company ::
::data[format=table title="infobox company"]
| Field | Value |
|---|---|
| name | Coverity, LLC |
| logo | Coverity logo.jpg |
| type | Private |
| foundation | |
| fate | Acquired by Black Duck Software in 2025 |
| key_people | Jason Schmitt (current GM) |
| location | formerly San Francisco, California |
| num_employees | 250+ |
| industry | Security testing, static program analysis, software development |
| products | Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker |
| homepage | |
| parent | Black Duck Software |
| :: |
| name = Coverity, LLC | logo = Coverity logo.jpg | type = Private | foundation = | fate = Acquired by Black Duck Software in 2025 | key_people = Jason Schmitt (current GM) | location = formerly San Francisco, California | num_employees = 250+ | industry = Security testing, static program analysis, software development | products = Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker | homepage = | parent = Black Duck Software
Coverity is a proprietary static code analysis tool from Black Duck, Inc. This product enables engineers and security teams to find and fix software defects.
Coverity started as an independent software company in 2002 at the Computer Systems Laboratory at Stanford University in Palo Alto, California. It was founded by Benjamin Chelf, Andy Chou, David Park, and Seth Hallem with Stanford professor Dawson Engler as a technical adviser. The headquarters was moved to San Francisco. In June 2008, Coverity acquired Solidware Technologies. In February 2014, Coverity announced an agreement to be acquired by Synopsys, an electronic design automation company, for $375M in cash.
Products
Coverity is a static code analysis tool for C, C++, C#, Java, JavaScript, PHP, Python, .NET, ASP.NET, Objective-C, Go, JSP, Ruby, Swift, Fortran, Scala, VB.NET, and TypeScript. It also supports more than 70 different frameworks for Java, JavaScript, C# and other languages.
Coverity Scan is a free static-analysis cloud-based service for the open source community.
Applications
Under a United States Department of Homeland Security contract in 2006, the tool was used to examine over 150 open source applications for bugs; 6000 bugs found by the scan were fixed across 53 projects.
The National Highway Traffic Safety Administration used the tool in its 2010-2011 investigation into reports of sudden unintended acceleration in Toyota vehicles. The tool was used by CERN on the software employed in the Large Hadron Collider and in the NASA Jet Propulsion Laboratory during the flight software development of the Mars rover Curiosity.
References
References
- (2025-05-27). "Introducing Black Duck Software: The Leader in Application Security Has a New Name". PR Newswire.
- Krill, Paul. (2008-06-30). "Coverity buys Solidware to boost code analysis". Infoworld.com.
- (2014-02-19). "Synopsys Enters Software Quality and Security Market with Coverity Acquisition". PR Newswire.
- "Coverity Languages and Frameworks".
- "LAMP lights the way in open-source security : News : Security - ZDNet Asia".
- link. (2013-05-26)
- [http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA-UA_report.pdf "Technical Support to the National Highway Traffic Safety Administration on the Reported Toyota Motor Corporation Unintended Acceleration Investigation"] {{Archive url. link. (2011-02-13)
- [http://www.coverity.com/company/press-releases/read/cern-chooses-coverity-to-ensure-accuracy-of-large-hadron-collider-software-html "CERN Chooses Coverity to Ensure Accuracy of Large Hadron Collider Software"]
- [https://www.youtube.com/watch?v=0g477Mhif0k "Improving Scientific Research: CERN and Coverity Static Analysis"]
- [http://www.huffingtonpost.co.uk/2012/09/27/curiositys-doctors-mars-rover-coverity_n_1919115.html "Coverity: Mars Rover Curiosity's 'Space Doctors' On Bug Hunting In Space"]
::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::