結果の解釈
Code Prover の結果メッセージを解釈してソース コードに移動し、結果の根本原因を見つける
Polyspace® Code Prover™ は C/C++ コードでランタイム エラーをチェックします。次の色で表示される結果をチェックしてください。
レッド (証明済みエラー)
オレンジ (未証明だが潜在的なエラー)
グリーン (エラーがないことを証明済み)
詳細は、Code Prover の結果とソース コードの色 (Polyspace Code Prover)を参照してください。
結果をレビューする際には、問題が発生した場所のすぐそばから、それより前にある関連行にトレースバックします。Polyspace Access™ Web インターフェイスには、範囲を示すツールヒント、関数呼び出し階層、その他のナビゲーション支援機能など、トレースバックを容易にする便利な機能が多数用意されています。これらのツールを利用して問題の根本原因を特定し、修正を実装します。特定のタイプのチェックをレビューする際に確認すべき事項については、Code Prover の実行時チェックのレビュー (Polyspace Code Prover)を参照してください。
トピック
入門
- Polyspace Access Web インターフェイスでの Code Prover の結果の解釈
結果の詳細のメッセージを解釈し、結果の原因を特定する。
- Code Prover の結果とソース コードの色 (Polyspace Code Prover)
- Code Prover の実行時チェックのレビュー (Polyspace Code Prover)
- マクロを含む行での Polyspace の結果 (Polyspace Code Prover)
- Compare Results in Polyspace Access Project to Previous Runs and View Trends
View results from previous project runs and compare them to later runs.
Code Prover 解析
- レッド チェックおよびオレンジ チェック以降の Code Prover 解析 (Polyspace Code Prover)
ランタイム エラーを含む操作がその後のコードの検証にどのように影響するかを学ぶ。
- Code Prover の実行時チェックの順序 (Polyspace Code Prover)
- Code Prover 解析後のソース コード ツールヒントでの変数の範囲 (Polyspace Code Prover)
Code Prover が変数の範囲を報告する理由と、特定の範囲が予期されているよりも狭いことがある理由を説明します。 - PolyspaceCode Prover のオレンジ チェック (Polyspace Code Prover)
検証によって特定の操作でのエラーの有無を証明できない理由と、その操作を確認しなければならない理由を学ぶ。
- Polyspace Code Prover でのオレンジ チェックの管理 (Polyspace Code Prover)
- Polyspace Code Prover での重要なオレンジ チェック (Polyspace Code Prover)
- Polyspace Code Prover でのオレンジ チェックの削減 (Polyspace Code Prover)
Polyspace Access ダッシュボード ビュー
- Polyspace Access Web インターフェイスのダッシュボード
コーディング規約の調査結果のステータス別分布など、プロジェクト結果の概要がグラフ形式で表示される。 - Monitor Code Quality Using Quality Objectives Dashboard in Polyspace Access
Monitor the quality of your code and create custom quality objectives definitions.
- Polyspace Access Web インターフェイスのコード メトリクス ダッシュボード
コード メトリクスとパス/失敗条件の概要を確認します。
Polyspace Access レビュー ビュー
- Polyspace Access Web インターフェイスの [呼び出し階層]
関数の呼び出し元と呼び出し先が表示される。 - Polyspace Access Web インターフェイスの構成設定
解析に使用される構成オプションを参照してください。 - Polyspace Access Web インターフェイスのグローバル変数
すべてのグローバル変数とそれらに対する読み取り操作および書き込み操作を表示します。 - Polyspace Access Web インターフェイスの [結果の詳細]
特定の Polyspace 結果の詳細とレビュー情報を確認する。 - Polyspace Access Web インターフェイスの結果のリスト
ファイル、関数、レビュー ステータスなどの属性と共にリストされる Polyspace 調査結果を確認する。 - Polyspace Access Web インターフェイスのレビュー履歴
調査結果のステータス、重大度、またはコメントの変更内容を確認する。 - Polyspace Access Web インターフェイスのソース コード
Polyspace 調査結果を重ね合わせたソース コードを確認する。
