acquired by synopsys founded november 2002 2002 11 headquarters san francisco ca key people andreas kuehlmann svp & gm products coverity code advisor coverity code advisor on demand coverity scan coverity test advisor seeker number of employees 250 website coverity.com coverity is a brand of software development products from synopsys consisting primarily of static code analysis and dynamic code analysis tools . the tools enable engineers to find defects and security vulnerabilities in source code written in c c java c and javascript . before its acquisition by synopsys coverity was an organization founded in the computer systems laboratory at stanford university in palo alto california and with headquarters in san francisco . in june 2008 coverity acquired solidware technologies . 1 and in february 2014 coverity announced an agreement to be acquired by synopsys an electronic design automation company for 350 million net of cash on hand . 2 contents 1 products 2 applications 3 awards 4 references 5 external links products edit coverity code advisor is a static code analysis tool for c c c java and javascript . it is derived from the stanford checker a research tool for finding bugs through static analysis . 3 coverity code advisor on demand is a cloud hosted version of coverity code advisor . coverity scan is a free cloud based static analysis product for the open source community . the tool now analyzes over 4000 open source projects . coverity test advisor is a series of products aimed at identifying weaknesses in a project software testing . seeker is an interactive application security testing product . applications edit under a united states department of homeland security contract the tool was used to examine over 150 open source applications for bugs ; 4 6000 bugs found by the scan were fixed across 53 projects . 5 6 national highway traffic safety administration used the tool in its 2010 2011 investigation into reports of sudden unintended acceleration in toyota vehicles . 7 8 the tool was used by cern on the software employed in the large hadron collider 9 10 and in the nasa jet propulsion laboratory during the flight software development of the mars rover curiosity . 11 awards edit in october 2008 mit technology review named co founder seth hallem to its annual tr35 list of innovators under 35 . 12 in 2009 and 2011 coverity was included in deloitte s technology fast 500 . 13 14 in may 2012 coverity won the 2012 codie award for best software development solution . 15 references edit krill paul 2008 06 30 . coverity buys solidware to boost code analysis . infoworld.com . retrieved 2011 01 29 . synopsys enters software quality and security market with coverity acquisition . pr newswire . 2014 02 19 . retrieved 2014 02 20 . a few billion lines of code later using static analysis to find bugs in the real world ; how coverity built a bug finding tool and a business around the unlimited supply of bugs in software systems the open source results on scan.coverity.com open source one year results on scan.coverity.com archived copy . archived from the original on june 14 2009 . retrieved may 4 2006 . cs1 maint unfit url link lamp lights the way in open source security zdnet u.s. used key tools to examine toyota acceleration related software technical support to the national highway traffic safety administration on the reported toyota motor corporation unintended acceleration investigation cern chooses coverity to ensure accuracy of large hadron collider software improving scientific research cern and coverity static analysis coverity mars rover curiosity s space doctors on bug hunting in space tr35 seth hallem 28 . technology review . retrieved 2011 01 29 . 2009 technology fast 500 ranking technology fast 500 deloitte llp pdf . deloitte.com . 2010 09 23 . retrieved 2011 11 28 . coverity named one of the fastest growing companies in north america . california pr newswire . 20 october 2011 . retrieved 2012 05 04 . coverity wins siia codie award for best software development solution . california coverity . 11 may 2012 . retrieved 2012 12 05 . external links edit software testing and static analysis tools . coverity s official website . retrieved from https en.wikipedia.org w index.php title coverity & oldid 743698235 categories static program analysis toolssoftware testing toolssoftware companies based in californiacompanies based in san franciscohidden categories cs1 maint unfit url navigation menu personal tools not logged intalkcontributionscreate accountlog in namespaces article talk variants views read edit view history more search navigation main pagecontentsfeatured contentcurrent eventsrandom articledonate to wikipediawikipedia store interaction helpabout wikipediacommunity portalrecent changescontact page tools what links hererelated changesupload filespecial pagespermanent linkpage informationwikidata itemcite this page print export create a bookdownload as pdfprintable version languages deutschfran ais edit links this page was last modified on 10 october 2016 at 19 38 . text is available under the creative commons attribution sharealike license ; additional terms may apply . by using this site you agree to the terms of use and privacy policy . wikipedia is a registered trademark of the wikimedia foundation inc. a non profit organization . privacy policy about wikipedia disclaimers contact wikipedia developers cookie statement mobile view