About: Coverity

An Entity of Type: Public company, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Coverity is a proprietary static code analysis tool from Synopsys. This product enables engineers and security teams to find and fix software defects. Coverity started as an independent software company in 2002 at the Computer Systems Laboratory at Stanford University in Palo Alto, California. It was founded by Benjamin Chelf, Andy Chou, and Seth Hallem with Stanford professor Dawson Engler as a technical adviser. The headquarters was moved to San Francisco. In June 2008, Coverity acquired Solidware Technologies. 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.

Property Value
dbo:abstract
  • Coverity Static Analysis (vormals Coverity Prevent) ist eine kommerzielle, proprietäre Software des seit Februar 2014 zu Synopsys gehörenden US-amerikanischen Softwareherstellers zur statischen Code-Analyse von C-, C++-, C#- und Java-Quelltext. Damit können unter anderem Wettlaufsituationen (Race Conditions) und Speicherlecks entdeckt werden. (de)
  • Coverity is a proprietary static code analysis tool from Synopsys. This product enables engineers and security teams to find and fix software defects. Coverity started as an independent software company in 2002 at the Computer Systems Laboratory at Stanford University in Palo Alto, California. It was founded by Benjamin Chelf, Andy Chou, and Seth Hallem with Stanford professor Dawson Engler as a technical adviser. The headquarters was moved to San Francisco. In June 2008, Coverity acquired Solidware Technologies. 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. (en)
  • Coverity est un outil logiciel propriétaire utilisé pour l'analyse statique de code source C, C++, C#, Java et JavaScript. Il est édité par Synopsys qui a racheté l'entreprise Coverity en 2014. Avant son acquisition par Synopsys en 2014, Coverity était une association créée dans le laboratoire Computer Systems de l'université Stanford, à Palo Alto, en Californie. Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ? (fr)
  • コベリティ (Coverity) は、シノプシスが開発・販売しているソフトウェア開発において静的コード解析を行うソフトウェアである。ソフトウェア開発の品質・生産性向上を目的としている。 もともとはスタンフォード大学の研究室からスピンアウトして2002年に設立、2003年に創業したCoverity, Inc.が開発し販売していた。日本でも2005年に代理店を通じて販売を開始し、2007年12月から日本支社を設立し直販していた。2014年2月19日にSynopsys, Inc.がCoverity, Inc.を買収し、現在は同社が開発・販売している。 2012年時点で、アメリカの組込み静的解析ツール市場において、35.8%と最大のシェアを誇っていた。 Coverityは、ビルドのプロセスを監視しコールグラフ、制御フローグラフなどの中間モデルを生成した上で、実行可能なパスを網羅的にチェックするというアプローチを採用している。NULLポインタの間接参照や、リソースリーク、デッドロックなどの発生条件が複雑で、関数間をまたがるようなランタイムエラーを検出することが可能である。また、その解析技術にはSATソルバが実装されている。 また、他の静的コード解析ツールと比較して、誤検知率が低いことも特徴である。 (ja)
  • 커버리티(Coverity)는 Synopsys에서 제공하는 애플리케이션 보안 테스팅 솔루션으로 정적 분석 도구이다. (ko)
  • Coverity — пакет программного обеспечения, состоящий из статического и динамического анализаторов кода, принадлежащий компании «Synopsys». Программное обеспечение ищет ошибки и недочёты в безопасности исходных кодах программ, написанных на Си, C++, Java, C# и JavaScript. До приобретения Synopsys компания Coverity располагалась в лаборатории Стэнфордского университета в Калифорнии. В июне 2008 года компания поглотила Solidware Technologies. В феврале 2014 года были подписаны бумаги о продаже компании Synopsys за 350 млн долларов США. (ru)
dbo:fate
  • Acquired bySynopsysin 2014 (en)
dbo:industry
dbo:location
dbo:numberOfEmployees
  • 250 (xsd:nonNegativeInteger)
dbo:parentCompany
dbo:thumbnail
dbo:type
dbo:wikiPageID
  • 4482233 (xsd:integer)
dbo:wikiPageLength
  • 5567 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1106286191 (xsd:integer)
dbo:wikiPageWikiLink
dbp:fate
  • Acquired by Synopsys in 2014 (en)
dbp:industry
dbp:keyPeople
  • Jason Schmitt (en)
dbp:location
  • formerly San Francisco, California (en)
dbp:logo
  • Coverity logo.jpg (en)
dbp:name
  • Coverity, Inc. - A Synopsys Company (en)
dbp:numEmployees
  • 250 (xsd:integer)
dbp:parent
dbp:products
  • Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker (en)
dbp:type
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • Coverity Static Analysis (vormals Coverity Prevent) ist eine kommerzielle, proprietäre Software des seit Februar 2014 zu Synopsys gehörenden US-amerikanischen Softwareherstellers zur statischen Code-Analyse von C-, C++-, C#- und Java-Quelltext. Damit können unter anderem Wettlaufsituationen (Race Conditions) und Speicherlecks entdeckt werden. (de)
  • Coverity is a proprietary static code analysis tool from Synopsys. This product enables engineers and security teams to find and fix software defects. Coverity started as an independent software company in 2002 at the Computer Systems Laboratory at Stanford University in Palo Alto, California. It was founded by Benjamin Chelf, Andy Chou, and Seth Hallem with Stanford professor Dawson Engler as a technical adviser. The headquarters was moved to San Francisco. In June 2008, Coverity acquired Solidware Technologies. 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. (en)
  • Coverity est un outil logiciel propriétaire utilisé pour l'analyse statique de code source C, C++, C#, Java et JavaScript. Il est édité par Synopsys qui a racheté l'entreprise Coverity en 2014. Avant son acquisition par Synopsys en 2014, Coverity était une association créée dans le laboratoire Computer Systems de l'université Stanford, à Palo Alto, en Californie. Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ? (fr)
  • コベリティ (Coverity) は、シノプシスが開発・販売しているソフトウェア開発において静的コード解析を行うソフトウェアである。ソフトウェア開発の品質・生産性向上を目的としている。 もともとはスタンフォード大学の研究室からスピンアウトして2002年に設立、2003年に創業したCoverity, Inc.が開発し販売していた。日本でも2005年に代理店を通じて販売を開始し、2007年12月から日本支社を設立し直販していた。2014年2月19日にSynopsys, Inc.がCoverity, Inc.を買収し、現在は同社が開発・販売している。 2012年時点で、アメリカの組込み静的解析ツール市場において、35.8%と最大のシェアを誇っていた。 Coverityは、ビルドのプロセスを監視しコールグラフ、制御フローグラフなどの中間モデルを生成した上で、実行可能なパスを網羅的にチェックするというアプローチを採用している。NULLポインタの間接参照や、リソースリーク、デッドロックなどの発生条件が複雑で、関数間をまたがるようなランタイムエラーを検出することが可能である。また、その解析技術にはSATソルバが実装されている。 また、他の静的コード解析ツールと比較して、誤検知率が低いことも特徴である。 (ja)
  • 커버리티(Coverity)는 Synopsys에서 제공하는 애플리케이션 보안 테스팅 솔루션으로 정적 분석 도구이다. (ko)
  • Coverity — пакет программного обеспечения, состоящий из статического и динамического анализаторов кода, принадлежащий компании «Synopsys». Программное обеспечение ищет ошибки и недочёты в безопасности исходных кодах программ, написанных на Си, C++, Java, C# и JavaScript. До приобретения Synopsys компания Coverity располагалась в лаборатории Стэнфордского университета в Калифорнии. В июне 2008 года компания поглотила Solidware Technologies. В феврале 2014 года были подписаны бумаги о продаже компании Synopsys за 350 млн долларов США. (ru)
rdfs:label
  • Coverity Static Analysis (de)
  • Coverity (en)
  • Coverity Prevent (fr)
  • コベリティ (ja)
  • 커버리티 (ko)
  • Coverity (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Coverity, Inc. - A Synopsys Company (en)
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License