Krytí

Coverity je softwarový balík sestávající ze statických a dynamických analyzátorů kódu , které vlastní Synopsys . Software hledá chyby a bezpečnostní nedostatky ve zdrojových kódech programů napsaných v C, C++, Java, C# a JavaScript.

Před akvizicí Synopsys sídlila Coverity v laboratoři na Stanfordské univerzitě v Kalifornii. V červnu 2008 společnost získala Solidware Technologies [1] . V únoru 2014 byly podepsány dokumenty k prodeji Synopsys za 350 milionů $ [2] .

Programy v balíčku

• Coverity Code Advisor je statický analyzátor kódu pro zdrojové kódy C, C++, C#, Java a JavaScript. Vyvinutý na základě Stanford Checker [3] .
• Coverity Code Advisor on Demand cloudová verze Coverity Code Advisor .
• Coverity Scan je cloudová aplikace pro analýzu softwaru s otevřeným zdrojovým kódem. V roce 2016 je analyzováno přes 4000 projektů.
• Coverity Test Advisor je řada produktů pro identifikaci problémů s testováním softwaru.
• Seeker je interaktivní aplikace pro testování bezpečnosti produktu.

Použití

Na základě smlouvy s americkým ministerstvem vnitřní bezpečnosti Coverity zkontrolovalo více než 150 projektů s otevřeným zdrojovým kódem na chyby [4] a opravilo přes 6 000 chyb v 53 projektech [5] [6] .

Americký Národní úřad pro bezpečnost silničního provozu použil tento nástroj v letech 2010-2011 k prošetření zpráv o neúmyslném zrychlení vozidel Toyota [7] [8] .

CERN tento nástroj použil při testování softwaru Large Hadron Collider [9] [10] .

NASA Jet Propulsion Laboratory použila software k testování zdrojového kódu pro vozítko Curiosity [11] .

Ocenění

V říjnu 2008 výbor MIT Technology Review přidal spoluzakladatele Setha Hallema na seznam inovátorů mladších 35 let [12] .

V letech 2009–2011 byl Coverity zařazen do seznamu Deloitte „Technology Fast 500“ [13] [14] .

V květnu 2012 se Coverity stává vítězem „CODiE Award for Best Software Development Solution“ [15] .

Poznámky

1. ↑ Krill, Paul Coverity kupuje Solidware pro posílení analýzy kódu  (v angličtině)  (odkaz není k dispozici) . Infoworld.com (30. června 2008). Datum přístupu: 29. ledna 2011. Archivováno z originálu 10. října 2008.
2. ↑ Synopsys vstupuje na trh kvality softwaru a zabezpečení s  akvizicí Coverity . PR Newswire (19. února 2014). Získáno 20. února 2014. Archivováno z originálu 23. února 2014.
3. ↑ „O několik miliard řádků kódu později: Použití statické analýzy k nalezení chyb v reálném světě; Jak Coverity vybudovalo nástroj pro vyhledávání chyb a podnik na neomezeném množství chyb v softwarových systémech“ . Získáno 29. listopadu 2016. Archivováno z originálu 7. června 2017. (neurčitý)
4. ↑ Výsledky open source Archivovány 1. dubna 2016 na Wayback Machine na scan.coverity.com
5. ↑ Výsledky za jeden rok s otevřeným zdrojovým kódem Archivováno 23. června 2017 na Wayback Machine na scan.coverity.com
6. ↑ Archivovaná kopie (downlink) . Získáno 4. května 2006. Archivováno z originálu 14. června 2009.  (neurčitý)  „LAMP osvětluje cestu v open-source zabezpečení“
7. ↑ „Klíčové nástroje používané v USA k prozkoumání softwaru souvisejícího s akcelerací Toyota“ Archivováno 26. května 2013.
8. ↑ „Technická podpora Národnímu úřadu pro bezpečnost silničního provozu v souvislosti s nahlášeným vyšetřováním nezamýšleného zrychlení společnosti Toyota Motor Corporation“ . Staženo 29. listopadu 2016. Archivováno z originálu 16. prosince 2016. (neurčitý)
9. ↑ „CERN volí krytí, aby zajistil přesnost softwaru velkého hadronového urychlovače“ . Datum přístupu: 29. listopadu 2016. Archivováno z originálu 11. března 2013. (neurčitý)
10. ↑ „Zlepšení vědeckého výzkumu: CERN a statická analýza pokrytí“ . Datum přístupu: 29. listopadu 2016. Archivováno z originálu 4. prosince 2016. (neurčitý)
11. ↑ „Coverity: „Vesmírní lékaři“ Mars Rover Curiosity o lovu hmyzu ve vesmíru“ . Staženo 29. listopadu 2016. Archivováno z originálu 4. března 2016. (neurčitý)
12. ↑ TR35: Seth Hallem, 28 . Recenze technologie. Datum přístupu: 29. ledna 2011. Archivováno z originálu 8. června 2011. (neurčitý)
13. ↑ 2009 Technology Fast 500 Ranking | Technologie Fast 500 | Deloitte LLP (nedostupný odkaz) . Deloitte.com (23. září 2010). Získáno 28. listopadu 2011. Archivováno z originálu dne 26. října 2011. (neurčitý) 
14. ↑ Coverity je jednou z nejrychleji rostoucích společností v Severní Americe . Kalifornie: PR Newswire (20. října 2011). Získáno 4. května 2012. Archivováno z originálu dne 21. října 2011. (neurčitý)
15. ↑ Coverity vyhrává SIIA CODiE Award za nejlepší řešení pro vývoj softwaru . Kalifornie: Coverity (11. května 2012). Získáno 5. prosince 2012. Archivováno z originálu dne 23. listopadu 2012. (neurčitý)

Odkazy

• Nástroje pro testování softwaru a statickou analýzu . Oficiální stránky Coverity . Získáno 14. března 2022. Archivováno z originálu dne 5. června 2016. (neurčitý)