コベリティ

Coverity, Inc. - Synopsys の子会社
会社種別	公共
業界	セキュリティテスト、静的プログラム分析、ソフトウェア開発
設立	2002年11月
運命	2014年にシノプシスに買収された
本部	以前はカリフォルニア州サンフランシスコ
主要人物	ジェイソン・シュミット（現GM）
製品	Coverity コードアドバイザー、Coverity コードアドバイザーオンデマンド、Coverity スキャン、Coverity テストアドバイザー、Seeker
従業員数	250+
親	シノプシス株式会社
Webサイト	synopsys.com/software-integrity.html

Coverityは、 Synopsys独自の静的コード解析ツールです。この製品により、エンジニアやセキュリティチームはソフトウェアの欠陥を見つけて修正することができます。

コベリティは2002年にカリフォルニア州パロアルトのスタンフォード大学コンピュータシステム研究所で独立したソフトウェア会社としてスタートしました。ベンジャミン・チェルフ、アンディ・チョウ、デビッド・パーク、セス・ハレムによって設立され、スタンフォード大学のドーソン・エングラー教授が技術顧問を務めました。本社はサンフランシスコに移転しました。2008年6月、コベリティはソリッドウェア・テクノロジーズを買収しました。^{[1] 2014年2月、コベリティは}電子設計自動化企業のシノプシスに現金3億7500万ドルで買収される契約を発表しました。 ^[2]

製品

Coverityは、C 、 C++、C#、Java、JavaScript、PHP、Python、.NET、ASP.NET、Objective-C、Go、JSP、Ruby、Swift、Fortran、Scala、VB.NET、TypeScript用の静的コード解析ツールです。また、 Java、JavaScript、C#などの言語の70以上の異なるフレームワークをサポートしています。 ^[3]

Coverity Scan は、オープンソースコミュニティ向けの無料の静的解析クラウドベースサービスです。

アプリケーション

2006年に米国国土安全保障省との契約に基づき、このツールは150以上のオープンソースアプリケーションのバグを検査するために使用され、スキャンによって発見された6000のバグが53のプロジェクトで修正されました。^[4]

アメリカ道路交通安全局は、トヨタ車の突然の意図しない加速に関する報告に対する2010年から2011年の調査でこのツールを使用しました。 ^[5]^[6]このツールは、CERNの大型ハドロン衝突型加速器^[7]^[8]で採用されているソフトウェアや、NASA ジェット推進研究所の火星探査車キュリオシティの飛行ソフトウェア開発で使用されました。^[9]

参考文献

^ Krill, Paul (2008-06-30). 「Coverity が Solidware を買収し、コード分析を強化」 Infoworld.com. 2008-10-10 時点のオリジナルよりアーカイブ。2011-01-29に取得。
^ 「Synopsys、Coverity買収によりソフトウェア品質およびセキュリティ市場に参入」 PR Newswire 2014年2月19日2014年2月20日閲覧。
^ 「Coverity 静的解析データシート」(PDF) . Synopsys.com . 2019 年 7 月 15 日閲覧。
^ [ 「LAMP がオープンソースセキュリティの先駆けに：ニュース：セキュリティ - ZDNet Asia」。2009 年 6 月 14 日時点のオリジナルよりアーカイブ。2006年5 月 4 日閲覧。「LAMP がオープンソースセキュリティの道を照らす」 – ZDNet
^ 「米国、トヨタの加速関連ソフトウェアを調査するために重要なツールを使用」Wayback Machineで 2013 年 5 月 26 日にアーカイブ
^ 「トヨタ自動車の意図しない加速に関する調査に関する米国道路交通安全局への技術支援」2011年2月13日アーカイブ、Wayback Machine
^ 「CERN、大型ハドロン衝突型加速器ソフトウェアの精度確保にCoverityを選択」
^ 「科学研究の改善: CERN と Coverity の静的解析」
^ 「Coverity: 火星探査車キュリオシティの『宇宙医師』が宇宙での虫取りについて語る」

[1] Krill, Paul (2008-06-30). 「Coverity が Solidware を買収し、コード分析を強化」 Infoworld.com. 2008-10-10 時点のオリジナルよりアーカイブ。2011-01-29に取得。

[2] 「Synopsys、Coverity買収によりソフトウェア品質およびセキュリティ市場に参入」 PR Newswire 2014年2月19日2014年2月20日閲覧。

[3] 「Coverity 静的解析データシート」(PDF) . Synopsys.com . 2019 年 7 月 15 日閲覧。

[4] [ 「LAMP がオープンソースセキュリティの先駆けに：ニュース：セキュリティ - ZDNet Asia」。2009 年 6 月 14 日時点のオリジナルよりアーカイブ。2006年5 月 4 日閲覧。「LAMP がオープンソースセキュリティの道を照らす」 – ZDNet

[5] 「米国、トヨタの加速関連ソフトウェアを調査するために重要なツールを使用」Wayback Machineで 2013 年 5 月 26 日にアーカイブ

[6] 「トヨタ自動車の意図しない加速に関する調査に関する米国道路交通安全局への技術支援」2011年2月13日アーカイブ、Wayback Machine

[7] 「CERN、大型ハドロン衝突型加速器ソフトウェアの精度確保にCoverityを選択」

[8] 「科学研究の改善: CERN と Coverity の静的解析」

[9] 「Coverity: 火星探査車キュリオシティの『宇宙医師』が宇宙での虫取りについて語る」