About: Coverity     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:SocialGroup107950920, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FCoverity

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.

AttributesValues
rdf:type
rdfs:label
  • Coverity Static Analysis (de)
  • Coverity (en)
  • Coverity Prevent (fr)
  • コベリティ (ja)
  • 커버리티 (ko)
  • Coverity (ru)
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)
foaf:name
  • Coverity, Inc. - A Synopsys Company (en)
name
  • Coverity, Inc. - A Synopsys Company (en)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Coverity_logo.jpg
location
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 43 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software