Coverity がコンピュータ システムのクラッシュとセキュリティの欠陥を排除する新製品を発表

2005 年 2 月 2 日 サンフランシスコ発 – ソフトウェアの欠陥とセキュリティの脆弱性を特定する、世界最先端のスケーラブルなソース コード解析ソリューションのメーカーである Coverity, Inc. は本日、Coverity Prevent および Coverity Extend の一般販売を発表しました。これらの新製品は、開発時にソフトウェア コードの欠陥を検出することによりコンピュータシステムのクラッシュ、セキュリティの脆弱性、およびパフォーマンスの低下を排除し、ソフトウェアの品質を向上させます。

「Coverity Prevent と Coverity Extend は、当社の世界中の顧客が安全で信頼性が高く安定した製品を市場で構築する際に役立ちます。ビジネスにはシステムのクラッシュやソフトウェアの欠陥がつきものです。Coverity の製品は、ソフトウェアの記述後すぐにソースのソフトウェアの欠陥を排除し、問題を修正し、既存のソフトウェアを徹底的に検査して、品質保証テストで検出できなかった欠陥を検出します。」と Coverity の経営最高責任者である Seth Hallem は述べています。

ソフトウェアは多くの製品に埋め込まれ、ネットワーキングスイッチや企業のストレージ製品などの重要な目的に使用されるようになっているため、ソフトウェアの欠陥にかかる費用は高騰しています。米国の政府機関である National Institute of Science and Technology (NIST) の試算では、ソフトウェアの品質が低いために顧客側で発生する費用は年間 595 億ドルを超えます。

「当社の経験では、開発サイクルのできるだけ早い段階でバグを検出し修正すれば費用は少なくて済むことがわかっています。顧客の運用システムで発生するバグに最も多くの費用がかかります。当社は次の 2 つの理由で Coverity を選びました。まず、ソースコード開発時に当社のソフトウェアの品質を向上させるのに Coverity 製品が役立つためです。もう 1 つの理由は、Coverity によって当社のエンジニアリング プロセスが停止したり大きな変更が行われたりすることがないからです。」と VERITAS のストレージおよびサーバー管理グループの著名なエンジニアである Oleg Kiselev 氏は説明しています。

Coverity Prevent は何百万行ものソフトウェアコードを自動的に解析し、ソフトウェアが実行するすべてのパスに従い、非常に低い誤検出率で 100% のパスカバレッジを行います。Coverity Prevent を使用すると、開発者はコンピュータシステムのクラッシュ、パフォーマンスの低下、プログラムの不正な動作の原因となる、欠陥のあるコードシーケンスなどの多種多様な問題を正確に識別できます。

Coverity Extend は、企業ごとに独自のカスタム コーディングルールを作成し、実行することで、ソフトウェア開発プロセスをさらに向上させます。Coverity Extend を使用すると、ソフトウェア管理者は自分の開発チームに合わせてカスタマイズされた最適化済みソフトウェアエンジニアリングのポリシーを設計できます。これらのポリシーは、Coverity Prevent によって使用され、分散された大規模なソフトウェアプロジェクトで作業する何百人もの開発者のコーディング作業を解析する単純なルールによって自動的に実行されます。

「Coverity Extend の誤検出率は低く、カスタマイズ機能もあるので、バグを修正するだけでなく、他の手段では検出が非常に難しいバグを修正したり、そのようなバグを開発サイクルの早期に修正したりできます。今回追加されたこのような機能により、チームの効率が上がり、問題の修正に以前よりも集中しなくても済み、顧客の要求に合わせた製品の機能の構築に集中することができます。」と CDP (Continuous Data Protection) テクノロジの主要プロバイダである Revivio のソフトウェア設計者である Jeff Darcy 氏は述べています。

Coverity Extend および Coverity Prevent は、FreeBSD、HP-UX、Linux、Solaris、Windows、およびその他のエンタープライズ オペレーティング システムの C または C++ で記述されたソース コードに対応しています。Coverity Extend および Coverity Prevent は従来の Coverity SWAT ソリューションのアップグレード製品です。Coverity SWAT および Metal という製品名は段階的に廃止される予定です。

Coverity Prevent の新機能は次のとおりです。

• 非常に高品質な結果 - Coverity は、低い誤検出率で業界の標準を更新し続けます。
• 高速のパフォーマンス - Coverity Prevent™ は、複数のマシンの並列処理でコード解析を行い、すばやく結果を出します。
• 多くの欠陥を検出 - Coverity Prevent™ は、統計的推論技術を拡張して使用し、関連性のある多くの Null 参照解除や無視されたエラー リターン コードを検出します。

【本リリースに関するお問い合わせ先】
コベリティ 日本支社
PR担当：仲嶋
TEL: 03-5909-8838
Email: knakajima@coverity.com

【製品に関するお問い合わせ先】
コベリティ 日本支社
渡辺　晃一郎
TEL: 03-5909-8838
Email: kwatanabe@coverity.com