コベリティについて

A Higher Code　～マニフェストを見る

コベリティでは、開発者がソフトウェアの完全性を確保するのに役立つツールを開発しています。コベリティは、ソフトウェアの開発過程の根本的な改善を目指す開発者が集まって設立されました。コベリティの自動ソースコード解析ツールを使用することで、ソフトウェアの開発ライフサイクルの初期段階で、品質上の欠陥とセキュリティの脆弱性を排除し、最も信頼度の高い安全なソフトウェアの供給が可能になります。

ハードウェア設計は難しい作業であるというのが常識で、自動化や検証に大掛かりな投資が必要です。しかし、ソフトウェアの構築も同様に困難であるという考えが、ようやく最近になって信憑性を得ています。コベリティは、ソフトウェア開発者が開発プロセスで迅速、徹底的、かつ正確にソースコードを解析できる自動ツールを提供することで、この問題に対処します。

ソフトウェア開発者は、Coverity Prevent™ および Coverity Extend™ を使用すると、致命的なエラーまたはセキュリティ侵害を引き起こす可能性のある欠陥を特定できます。ソフトウェア企業は、Coverity Prevent™、Coverity Thread Analyzer、Structure 101™、Coverity Extend™、および Coverity Software Readiness Manager を使用すると、より良い製品の構築、市場投入時間の短縮、およびリスクの低減が可能になります。

技術の飛躍的な進歩

コベリティが現在も拡大を続ける開発ツールのプラットフォームの基礎的な技術は、1998 年から 2002 年にかけてカリフォルニア州パロアルト市にあるスタンフォード大学のコンピュータシステム研究所で開発されました。2003 年 11 月、スタンフォード大学の研究チームは、Linux、FreeBSD などのオープン ソース プロジェクトで何千もの致命的な欠陥を検出できる最初のシステムを発表しました。間もなく、業界の専門家や研究者により、今まで構築されたシステムのなかで、「MC Checker」として知られるスタンフォードのシステムが最も効率的なソースコード解析システムであると認められました。

研究から実用化に焦点が移行していくなかで、スタンフォード大学のチームメンバー、Andy Chou、Benjamin Chelf、Dawson Engler、および Seth Hallem は、この技術を応用して商用の コベリティ製品の開発に邁進しました。コベリティは、さらに正確で高度なコード解析能力を顧客に提供することを目指して、これらのソースコード解析システムの改良を続けています。

コベリティの詳細については、Eメールまたは電話でお問い合わせください。

Eメール

japan_sales@coverity.com

電話

03-5909-8838