Coverity
 | |
| Typ | offentlig |
|---|---|
| Industri | Säkerhetstestning , statisk programanalys , mjukvaruutveckling |
| Grundad | November 2002 |
| Öde | Förvärvades av Synopsys 2014 |
| Huvudkontor | tidigare San Francisco, Kalifornien |
Nyckelpersoner |
Jason Schmitt (nuvarande GM) |
| Produkter | Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker |
Antal anställda |
250+ |
| Förälder | Synopsys, Inc. |
| Hemsida | |
Coverity är ett proprietärt verktyg för statisk kodanalys från Synopsys . Denna produkt gör det möjligt för ingenjörer och säkerhetsteam att hitta och åtgärda programvarufel.
Coverity startade som ett oberoende mjukvaruföretag 2002 vid Computer Systems Laboratory vid Stanford University i Palo Alto, Kalifornien. Det grundades av Benjamin Chelf, Andy Chou och Seth Hallem med Stanford-professorn Dawson Engler som teknisk rådgivare. Högkvarteret flyttades till San Francisco . I juni 2008 förvärvade Coverity Solidware Technologies. I februari 2014 tillkännagav Coverity ett avtal som skulle förvärvas av Synopsys , ett automationsföretag för elektronisk design , för 350 miljoner dollar netto av kontanter.
Produkter
Coverity är ett statiskt kodanalysverktyg för C , C++ , C# , Java , JavaScript , PHP , Python , .NET , ASP.NET , Objective-C , Go , JSP, Ruby , Swift , Fortran , Scala , VB.NET och TypeScript . Den stöder också mer än 70 olika ramverk för Java, JavaScript, C# och andra språk.
Coverity Scan är en gratis molnbaserad tjänst för statisk analys för öppen källkod .
Ansökningar
Enligt ett avtal från USA:s Department of Homeland Security 2006 användes verktyget för att undersöka över 150 program med öppen källkod för buggar; 6000 buggar som hittats av skanningen fixades i 53 projekt.
National Highway Traffic Safety Administration använde verktyget i sin undersökning 2010-2011 av rapporter om plötslig oavsiktlig acceleration i Toyota-fordon. Verktyget användes av CERN på programvaran som användes i Large Hadron Collider och i NASA Jet Propulsion Laboratory under utvecklingen av flygprogramvaran för Mars-rovern Curiosity .