Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Coverity

From Wikipedia, the free encyclopedia
American software company
Coverity, LLC
Company typePrivate
IndustrySecurity testing,static program analysis,software development
FoundedNovember 2002 (2002-11)
FateAcquired byBlack Duck Software in 2025
HeadquartersformerlySan Francisco, California
Key people
Jason Schmitt (current GM)
ProductsCoverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker
Number of employees
250+
ParentBlack Duck Software
Websiteblackduck.com

Coverity is aproprietarystatic code analysis tool from Black Duck, Inc.[1] 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 atStanford University in Palo Alto, California. It was founded by Benjamin Chelf, Andy Chou, David Park, and Seth Hallem with Stanford professorDawson Engler as a technical adviser. The headquarters was moved toSan Francisco. In June 2008, Coverity acquired Solidware Technologies.[2] In February 2014, Coverity announced an agreement to be acquired bySynopsys, anelectronic design automation company, for $375M in cash.[3]

Products

[edit]

Coverity is astatic code analysis tool forC,C++,C#,Java,JavaScript,PHP,Python,.NET,ASP.NET,Objective-C,Go, JSP,Ruby,Swift,Fortran,Scala,VB.NET, andTypeScript. It also supports more than 70 differentframeworks for Java, JavaScript, C# and other languages.[4]

Coverity Scan is a free static-analysiscloud-based service for theopen source community.

Applications

[edit]

Under aUnited 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.[5]

TheNational Highway Traffic Safety Administration used the tool in its 2010-2011 investigation into reports ofsudden unintended acceleration in Toyota vehicles.[6][7] The tool was used byCERN on the software employed in theLarge Hadron Collider[8][9] and in theNASAJet Propulsion Laboratory during the flight software development of theMars roverCuriosity.[10]

References

[edit]
  1. ^"Introducing Black Duck Software: The Leader in Application Security Has a New Name". PR Newswire. 2025-05-27. Retrieved2025-05-27.
  2. ^Krill, Paul (2008-06-30)."Coverity buys Solidware to boost code analysis". Infoworld.com. Archived fromthe original on 2008-10-10. Retrieved2011-01-29.
  3. ^"Synopsys Enters Software Quality and Security Market with Coverity Acquisition". PR Newswire. 2014-02-19. Retrieved2014-02-20.
  4. ^"Coverity Languages and Frameworks".blackduck.com. Retrieved2025-05-27.
  5. ^["LAMP lights the way in open-source security : News : Security - ZDNet Asia". Archived fromthe original on June 14, 2009. RetrievedMay 4, 2006."LAMP lights the way in open-source security"] –ZDNet
  6. ^"U.S. Used Key Tools to Examine Toyota Acceleration-Related Software"Archived 2013-05-26 at theWayback Machine
  7. ^"Technical Support to the National Highway Traffic Safety Administration on the Reported Toyota Motor Corporation Unintended Acceleration Investigation"Archived 2011-02-13 at theWayback Machine
  8. ^"CERN Chooses Coverity to Ensure Accuracy of Large Hadron Collider Software"
  9. ^"Improving Scientific Research: CERN and Coverity Static Analysis"
  10. ^"Coverity: Mars Rover Curiosity's 'Space Doctors' On Bug Hunting In Space"
Retrieved from "https://en.wikipedia.org/w/index.php?title=Coverity&oldid=1331831988"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp