Coverity (original) (raw)
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.
| 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 | dbr:Static_program_analysis dbr:Software_development dbr:Security_testing |
| dbo:location | dbr:San_Francisco,_California |
| dbo:numberOfEmployees | 250 (xsd:nonNegativeInteger) |
| dbo:parentCompany | dbr:Synopsys,_Inc. |
| dbo:thumbnail | wiki-commons:Special:FilePath/Coverity_logo.jpg?width=300 |
| dbo:type | dbr:Public_company |
| dbo:wikiPageID | 4482233 (xsd:integer) |
| dbo:wikiPageLength | 5567 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1106286191 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Python_(programming_language) dbr:Ruby_(programming_language) dbr:San_Francisco dbr:Scala_(programming_language) dbr:Electronic_design_automation dbr:Open-source_model dbr:United_States_Department_of_Homeland_Security dbr:Visual_Basic_.NET dbr:Dawson_Engler dbr:Proprietary_software dbr:Public_company dbr:.NET dbc:Companies_based_in_San_Francisco dbc:Software_companies_based_in_California dbc:Software_companies_of_the_United_States dbc:Static_program_analysis_tools dbr:Go_(programming_language) dbr:NASA dbr:Stanford_University dbr:Static_program_analysis dbr:C++ dbr:CERN dbr:C_(programming_language) dbr:C_Sharp_(programming_language) dbr:Curiosity_rover dbr:ASP.NET dbr:Fortran dbr:PHP dbr:JavaScript dbr:Java_(programming_language) dbc:Software_testing_tools dbr:Jet_Propulsion_Laboratory dbr:Large_Hadron_Collider dbr:Swift_(programming_language) dbr:Synopsys dbr:Software_as_a_service dbr:Software_development dbr:Software_framework dbr:IOS dbr:National_Highway_Traffic_Safety_Administration dbr:Objective-C dbr:Static_code_analysis dbr:Sudden_unintended_acceleration dbr:Security_testing dbr:Microsoft_TypeScript dbr:San_Francisco,_California dbr:Synopsys,_Inc. |
| dbp:fate | Acquired by Synopsys in 2014 (en) |
| dbp:industry | dbr:Static_program_analysis dbr:Software_development dbr:Security_testing |
| 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 | dbr:Synopsys,_Inc. |
| dbp:products | Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker (en) |
| dbp:type | dbr:Public_company |
| dbp:wikiPageUsesTemplate | dbt:Infobox_company dbt:Reflist dbt:Short_description dbt:Start_date dbt:URL |
| dct:subject | dbc:Companies_based_in_San_Francisco dbc:Software_companies_based_in_California dbc:Software_companies_of_the_United_States dbc:Static_program_analysis_tools dbc:Software_testing_tools |
| gold:hypernym | dbr:Brand |
| rdf:type | owl:Thing dbo:Company schema:Organization dul:Agent dul:SocialPerson dbo:Agent wikidata:Q24229398 wikidata:Q43229 wikidata:Q4830453 yago:WikicatCompaniesBasedInSanFrancisco,California yago:WikicatSoftwareCompaniesBasedInCalifornia yago:Abstraction100002137 yago:Company108058098 yago:Group100031264 yago:Institution108053576 yago:Organization108008335 yago:YagoLegalActor yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity dbo:Organisation yago:SocialGroup107950920 |
| 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 | freebase:Coverity yago-res:Coverity wikidata:Coverity dbpedia-de:Coverity dbpedia-fa:Coverity dbpedia-fr:Coverity dbpedia-he:Coverity dbpedia-ja:Coverity dbpedia-ko:Coverity dbpedia-ru:Coverity https://global.dbpedia.org/id/TxHj |
| prov:wasDerivedFrom | wikipedia-en:Coverity?oldid=1106286191&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Coverity_logo.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Coverity |
| foaf:name | Coverity, Inc. - A Synopsys Company (en) |
| is dbo:wikiPageWikiLink of | dbr:List_of_companies_founded_by_Massachusetts_Institute_of_Technology_alumni dbr:List_of_companies_founded_by_Stanford_University_alumni dbr:List_of_companies_founded_by_UC_Berkeley_alumni dbr:MISRA_C dbr:Dawson_Engler dbr:SQuORE dbr:Open-source_software_security dbr:Chris_Valasek dbr:Features_of_Firefox dbr:List_of_Eclipse-based_software dbr:LDRA_Testbed dbr:Travis_CI dbr:Plan_9_from_Bell_Labs dbr:KornShell dbr:OpenPAM dbr:Red_Lizard_Software dbr:Memory_safety dbr:List_of_tools_for_static_code_analysis |
| is foaf:primaryTopic of | wikipedia-en:Coverity |
