(cache) KlocworkInsight｜ツール｜第三者検証サービスのPROVEQ＜プロベック＞

次世代ソースコード解析ツール　- Klocwork® Insight™ -

家電、携帯機器、医療技術、通信、軍事、航空宇宙分野など全世界に 900 社以上の顧客を持ち、数十億行のコードを解析するC、C++、Java、C# 開発者のためのツール群。

製品説明

Klocwork® Insight™ は、高度な解析手法（Truepath™）を使用し、これまでのレビューやテスト方法で発見しにくかった実行時エラーをテスト前の早期段階で自動的に検出することにより、ソフトウェアの信頼性向上やテスト効率向上に大きな効果をもたらします。

Klocwork® Insight™ により、さまざまな効果が得られます

Klocwork Insight により、さまざまな効果が得られます

実装	コードレビューやテストからの不具合レポートが少なくなります。前のビルドからの不具合フィックスよりも新たなコードを書くために時間をかけられます。
リリース	高品質でセキュアーなソフトウェアのリリースが可能になります。
テスティング	テスト工数をコードデバッグよりも要件にフォーカスすることができます。テスト前にコード内の欠陥数を減らすことによってテストサイクルを縮小可能です。
統合ビルド	開発者が欠陥のないコードをチェックインすることを保証します。メインコードストリームに不要な欠陥やセキュリティ脆弱性の流入を防げます。
ピアコードレビュー	欠陥のないコードでコードレビュー。上級スタッフがコードデバッグよりも重大な設計や要件の課題に集中可能です。

Klocwork® Insight™ により正確な欠陥及びセキュリティ脆弱性を検出可能です

品質/信頼性	セキュリティ脆弱性	保守性
メモリとリソースリーク解放済みメモリの使用不適切なメモリの解放 NULLポインタの参照未初期化変数の使用リソースマネージメントデッドロックとエンディアン非互換性同時実行違反	バッファオーバーフロー無効なユーザインプット SQL・パス　インジェクションクロスサイトスクリプティング情報漏えい弱暗号化脆弱なコーディング慣習	アーキテクチャ違反ヘッダファイル構造デッドコード未到達コード計算された値の未使用未使用の関数パラメータ未使用のローカル変数

Klocwork® Insight™ 対象言語と解析手法

言語	C	C++	C#	JAVA
デスクトップ解析　※1	○	○	○	○
システム解析　※2	○	○	○	○

Klocwork® Insight™ 動作環境

実行環境

Windows	2003、XP、Vista、7
Linux	RHEL、Fedora、Debian、SUSE、Ubuntu
Solaris	8、9、10
Aix	Version 5.3

対応ビルド環境
・GNU make　・SUN make　・clearmake　・nmake　・imake　・Ant　・JAM

対応統合開発環境（IDE）
・Eclipse　・Microsoft Visual Studio　・BM Rational Application Developer
・IntelliJ IDEA　・Wind River Workbench　・Carbide. c++　・QNX Momentics
・TI Code Composer　・Jbuilder