Coverity Static Analysisは、コベリティが特許を有する高度な解析手法を駆使し、発見が困難でクラッシュの原因となるソースコード上の不具合を開発ライフサイクルの早期段階で検知・排除します。今日利用できる静的ソースコード解析ソリューションとして最も精度の高いCoverity Static Analysisは、ソースコードやビルドシステムを変更することなく複雑なC/C++、JavaおよびC#のコードベース全体を一度に自動的にスキャンし、どのような規模のコードベースにもスケールできます。Coverity Static Analysisの使いやすいインターフェースにより、開発者は瞬時に不具合を検知し、優先順位の高い不具合に的を絞れるようになりました。また、開発者の生産性の向上、およびコストのかかる商品の品質問題のリスクの軽減を目的とした最先端の不具合修正優先度付け機能を通じて、不具合解決の時間を短縮できます。
カスタマイズ可能な解析
Coverity Static Analysisは、１）配備されたチェッカーの数、２）ヌルポインタ参照の閾値など個々のチェッカーに特有な設定を変更することで、解析の微調整を可能にしました。特定のコードブロックやアプリケーションに合わせて設定できるので、開発者は自分のアプリケーションに最も適切なパフォーマンスレベルを選択することが可能になり、より正確で信頼性の高い結果が期待できます。Coverity Software Development Kit を使えば、カスタムチェッカーを作成してC および C++コードに固有な欠陥のタイプを検知できます。カスタムチェックでは、並列処理不具合検知のほか、例外処理などの重大な問題への対処も可能です。
特許取得済み手法による品質、パフォーマンス、セキュリティの不具合解析
Coverity Static Analysis は、高度で深部に及ぶ解析手法を駆使して、開発者が最も重視する、修正が即座に必要かつ、重大な不具合を検出します。パスシミュレーション（データフロー解析）とブール充足可能性（SAT）ソルバーを唯一提供するコベリティは、ソースコードおよび実行パスを100%カバーすることにより深部に及ぶ最も精度の高い静的解析を実現しています。なかには、誤検出率を5%にまで抑えることに成功した顧客もいます。ビルド環境とソースコードを完全に理解しているCoverity Static Analysisは、柔軟で、深部に及ぶ精度の高いソースコード解析が必要な開発者に最適なツールです。Coverity Static Analysisはこの高度な技術を駆使することで、現時点で最も精度の高い包括的な静的解析を実現し、現在市販されている製品のなかで平均誤検出率が最も低い静的解析ツールです。
どのような規模のコードベースにも使用できる自動不具合解析
世界中の何百もの開発組織で採用されているCoverity Static Analysisは、大量の複雑なソースコードを自動的に解析して、システム障害、実行時例外、セキュリティ脆弱性、およびパフォーマンス低下につながる、修正が必要で重大な不具合を検出します。コベリティの大手顧客にとっては、何百万行ものソースコード上の数千個以上の不具合に修正優先順位をつけ修正していかなければならない、何百人といるユーザーにコベリティのウェブアプリケーションが柔軟に拡張できることが最も重要です。Coverity Static Analysisは、一つのインスタンスで何百人ものユーザーおよび複数の大規模コードベースに拡張することが可能です。Coverity Static Analysisは、顧客がインストールしたOracleインスタンスまたはPostgreSQLという企業向けの堅牢なオープンソースデータベース上で実行できます。ウェブサービス標準により、Coverity Static Analysisに格納されたデータの抽出や操作は、プログラム言語やスクリプト言語の種類にかかわらず、簡単に実施できます。Coverity Static Analysisの管理者は、ウェブインターフェースにより、企業独自の開発ワークフローに柔軟に製品を完全に統合できます。
ビルド環境へゼロインパクトで統合可能
開発者は毎晩、中央のビルド環境で大規模コードベース（数百万行）や超大規模コードベース（数千万行以上）上でCoverity Static Analysisの解析実行ができます。弊社顧客企業では毎晩、5000万行を越えるコードがCoverity Static Analysisで解析されています。Coverity Static Analysisは、中央のビルド環境における拡張性のみならず、ローカル／デスクトップでのソースコード解析も提供するため、開発者は「チェックイン前にエラーがない」ことを確認できます。Eclipse やVisualStudio IDEを使用している開発者は、夜間に中央サーバー上でソースコードをビルドする前にソースコードを解析し優先順位が高いものから修正することができます。
Static Analysisによる開発サイクルの短縮と信頼性の高い確かな品質のソフトウエアの開発の支援の詳細については下記へ、Eメールまたは電話でお問い合わせください。
Eメール
電話
03-5909-8838
