PROVEQは、第三者の視点から検証をおこなうサービスブランドです。
製品やシステムのライフサイクルにおいて、
安心・安全な魅力品質の追求と開発生産性の向上を支援します。
Klocwork® Insight™

製品説明

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

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

Klocwork® Insight™ により、「開発者の生産性向上」「品質向上」「リソースの有効活用」「テスト工数の軽減」「リリース後の品質確保」などの効果が得られます。

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

Klocwork® Insight™ により、「開発者の生産性向上」「品質向上」「リソースの有効活用」「テスト工数の軽減」「リリース後の品質確保」などの効果が得られます。

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

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

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

言語CC++C#JAVA
デスクトップ解析 ※1
システム解析 ※2
※1:デスクトップ解析とは開発者がビルドシステムでのチェックの前後に自分のデスクトップにてローカルにコードを解析する機能です。
※2:システム解析とは結合したソースコード全体に対する解析であり、ビルドシステムにて解析する機能です。

■Klocwork® Insight™ 動作環境
実行環境
Windows2003、XP、Vista、7
LinuxRHEL、Fedora、Debian、SUSE、Ubuntu
Solaris8、9、10
AixVersion 5.3
対応ビルド環境
GNU make SUN make clearmake nmake imake Ant JAM
対応統合開発環境(IDE)
Eclipse Microsoft Visual Studio IBM Rational Application Developer
IntelliJ IDEA Wind River Workbench Carbide. c++
QNX Momentics TI Code Composer Jbuilder
■Klocwork® Insight™ 市場での知名度
「InfoWorld.com」により、
ベスト静的ソースコード解析ツールとして認証
「SD Times」により、さまざまな分野で7年連続受賞

■Klocwork® Insight™ スクリーンショット
Insight Review(ウェブベースビューア)
klocwork-insightメトリクスとトレンディング画像 klocwork-insight欠陥詳細画像
トレンドとメトリクスレポート 欠陥指摘一覧

Insight Architect (アーキテクチャビューア)
klocwork-insightエンティティリレーション画像 klocwork-insightフローチャート画像
リレーション図 フローチャート
Plug-In (統合開発環境用のプラグイン)
Eclipse開発環境 Microsoft
Visual Studio
開発環境
Insight Pro (*オプション製品)
klocwork-insightリファクトリング機能画像 klocwork-insightコードレビュー画像
リファクトリング機能 コードレビュー
※ Klocwork® Insight™ は、Klocwork 社 の商標、または登録商標です。
※ PROVEQ(プロベック)は株式会社シーイーシーの登録商標です。
※ その他掲載されている会社名、商品名は各社の商標、または登録商標です。
お問い合わせ