Coverity

Coverity är ett mjukvarupaket som består av statiska och dynamiska kodanalysatorer som ägs av Synopsys . Programvaran letar efter fel och säkerhetsbrister i källkoderna för program skrivna i C, C++, Java, C# och JavaScript.

Innan Synopsys-förvärvet var Coverity baserad i ett laboratorium vid Stanford University i Kalifornien. I juni 2008 förvärvade företaget Solidware Technologies [1] . I februari 2014 undertecknades papper för att sälja Synopsys för 350 miljoner dollar [2] .

Program i paketet

• Coverity Code Advisor är en statisk kodanalysator för C, C++, C#, Java och JavaScript källkoder. Utvecklat baserat på Stanford Checker [3] .
• Coverity Code Advisor on Demand molnversion av Coverity Code Advisor .
• Coverity Scan är ett molnbaserat program för analys av öppen källkod. Vid tiden för 2016 analyseras över 4 000 projekt.
• Coverity Test Advisor är en serie produkter för att identifiera problem med mjukvarutestning.
• Seeker är en interaktiv produktsäkerhetstestapplikation.

Användning

Enligt ett kontrakt med US Department of Homeland Security kontrollerade Coverity över 150 projekt med öppen källkod för buggar [4] och fixade över 6 000 buggar i 53 projekt [5] [6] .

US National Highway Traffic Safety Administration använde verktyget 2010-2011 för att undersöka rapporter om oavsiktlig acceleration av Toyota-fordon [7] [8] .

CERN använde verktyget när de testade programvaran för Large Hadron Collider [9] [10] .

NASA:s Jet Propulsion Laboratory använde programvaran för att testa källkoden för Curiosity-rovern [11] .

Utmärkelser

I oktober 2008 lade MIT Technology Review Committee medgrundaren Seth Hallem till listan över innovatörer under 35 [12] .

2009-2011 ingick Coverity i Deloittes "Technology Fast 500" -lista [13] [14] .

I maj 2012 blir Coverity vinnaren av "CODiE Award for Best Software Development Solution" [15] .

Anteckningar

1. ↑ Krill, Paul Coverity köper Solidware för att öka kodanalys  (engelska)  (länk ej tillgänglig) . Infoworld.com (30 juni 2008). Datum för åtkomst: 29 januari 2011. Arkiverad från originalet den 10 oktober 2008.
2. ↑ Synopsys går in på marknaden för mjukvarukvalitet och säkerhet med Coverity  Acquisition . PR Newswire (19 februari 2014). Hämtad 20 februari 2014. Arkiverad från originalet 23 februari 2014.
3. ↑ "Några miljarder rader kod senare: Använd statisk analys för att hitta buggar i den verkliga världen; Hur Coverity byggde ett felsökningsverktyg och en verksamhet kring det obegränsade utbudet av buggar i mjukvarusystem" . Hämtad 29 november 2016. Arkiverad från originalet 7 juni 2017. (obestämd)
4. ↑ Resultaten med öppen källkod Arkiverade 1 april 2016 på Wayback Machine på scan.coverity.com
5. ↑ Ett års resultat med öppen källkod Arkiverad 23 juni 2017 på Wayback Machine på scan.coverity.com
6. ↑ Arkiverad kopia (nedlänk) . Hämtad 4 maj 2006. Arkiverad från originalet 14 juni 2009.  (obestämd)  "LAMPA visar vägen för säkerhet med öppen källkod"
7. ↑ "USA använde nyckelverktyg för att undersöka Toyota Acceleration-Relaterad programvara" Arkiverad 26 maj 2013.
8. ^ "Tekniskt stöd till National Highway Traffic Safety Administration på den rapporterade Toyota Motor Corporation-utredningen om oavsiktlig acceleration" . Hämtad 29 november 2016. Arkiverad från originalet 16 december 2016. (obestämd)
9. ↑ "CERN väljer täckning för att säkerställa noggrannhet i programvaran för stora Hadron Collider" . Datum för åtkomst: 29 november 2016. Arkiverad från originalet den 11 mars 2013. (obestämd)
10. ^ "Förbättra vetenskaplig forskning: CERN och Coverity Static Analysis" . Datum för åtkomst: 29 november 2016. Arkiverad från originalet den 4 december 2016. (obestämd)
11. ↑ "Coverity: Mars Rover Curiositys 'rymdläkare' på insektsjakt i rymden" . Hämtad 29 november 2016. Arkiverad från originalet 4 mars 2016. (obestämd)
12. ↑ TR35: Seth Hallem, 28 . Teknikgranskning. Datum för åtkomst: 29 januari 2011. Arkiverad från originalet den 8 juni 2011. (obestämd)
13. ↑ 2009 Technology Fast 500 Ranking | Teknik Fast 500 | Deloitte LLP (inte tillgänglig länk) . Deloitte.com (23 september 2010). Hämtad 28 november 2011. Arkiverad från originalet 26 oktober 2011. (obestämd) 
14. ↑ Coverity utsedd till ett av de snabbast växande företagen i Nordamerika . Kalifornien: PR Newswire (20 oktober 2011). Hämtad 4 maj 2012. Arkiverad från originalet 21 oktober 2011. (obestämd)
15. ↑ Coverity vinner SIIA CODiE Award för bästa mjukvaruutvecklingslösning . Kalifornien: Coverity (11 maj 2012). Hämtad 5 december 2012. Arkiverad från originalet 23 november 2012. (obestämd)

Länkar

• Programvarutestning och statiska analysverktyg . Coveritys officiella hemsida . Hämtad 14 mars 2022. Arkiverad från originalet 5 juni 2016. (obestämd)