Kattavuus - Coverity
| Tyyppi | Julkinen |
|---|---|
| Ala | Tietoturvatestaus , staattinen ohjelma-analyysi , ohjelmistokehitys |
| Perustettu | Marraskuu 2002 |
| Kohtalo | Synopsys osti vuonna 2014 |
| Päämaja | San Francisco, Kalifornia |
Avainhenkilöt |
Andy Chou (perustaja) Andreas Kuehlmann (SVP & GM) |
| Tuotteet | Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker |
Työntekijöiden määrä |
250+ |
| Vanhempi | Synopsys, Inc. |
| Verkkosivusto | synopsys |
Coverity on oma staattinen koodin analyysi työkalun Synopsys . Tämän tuotteen avulla insinöörit ja tietoturvaryhmät voivat löytää ja korjata ohjelmistovirheitä.
Ennen Synopsysin hankintaa Coverity oli organisaatio, joka perustettiin Stanfordin yliopiston atk-järjestelmien laboratorioon Palo Altossa Kaliforniassa ja jonka pääkonttori oli San Franciscossa . Coverity osti kesäkuussa 2008 Solidware Technologiesin. Ja helmikuussa 2014 Coverity ilmoitti sopimuksesta, jonka Synopsys , sähköinen suunnitteluautomaatioyritys , ostaa 350 miljoonasta dollarista käteisellä.
Tuotteet
Coverity on staattinen koodin analyysi työkalu C , C ++ , C # , Java , JavaScript , PHP , Python , .NET , ASP.NET , Objective-C , Go , JSP, Ruby , Swift , Fortran , Scala , VB.NET , iOS ja konekirjoitus. Se tukee myös yli 70 erilaista kehystä Java, JavaScript, C # ja muille kielille.
Coverity Scan on ilmainen staattisen analyysin pilvi-pohjainen palvelu , että avoimen lähdekoodin yhteisölle.
Sovellukset
Alle Yhdysvaltojen sisäisen turvallisuuden ministeriölle sopimuksen vuonna 2006, työkalu käytettiin tutkimaan yli 150 avoimen lähdekoodin sovelluksia vikoja; Tarkistuksessa löydetyt 6000 virhettä korjattiin 53 projektissa.
Valtatieliikenteen liikenneturvallisuushallinto käytti työkalua vuosina 2010--2011 Toyota-ajoneuvojen äkillisen tahattoman kiihtyvyyden ilmoituksiin. CERN käytti työkalua ohjelmistossa, jota käytettiin Large Hadron Collider -laitteessa ja NASA Jet Propulsion -laboratoriossa Mars- kuljettajan Curiosityn lentokoneohjelmiston kehityksen aikana .
