このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Polyspace Platform ユーザー インターフェイスでの Code Prover の結果の解釈
Code Prover の結果を解釈し、ソース コード内を移動して、データ フローをトレースする
Polyspace® Code Prover™ は C/C++ コードでランタイム エラーをチェックします。次の色で表示される結果をチェックしてください。
レッド (証明済みエラー)
オレンジ (未証明だが潜在的なエラー)
グリーン (エラーがないことを証明済み)
詳細は、Code Prover の結果とソース コードの色を参照してください。
結果をレビューする際には、問題が発生した場所のすぐそばから、それより前にある関連行にトレースバックします。Polyspace デスクトップ製品のユーザー インターフェイスには、範囲を示すツールヒント、関数呼び出し階層、その他のナビゲーション支援機能など、トレースバックを容易にする便利な機能が多数用意されています。これらのツールを利用して問題の根本原因を特定し、修正を実装します。特定のタイプのチェックをレビューする際に確認すべき事項については、Code Prover の実行時チェックのレビューを参照してください。
トピック
入門
- Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results. - Interpret Polyspace Code Prover Results in Polyspace Platform User Interface
Interpret result details message, find root cause of result.
Code Prover 解析
- レッド チェックおよびオレンジ チェック以降の Code Prover 解析
ランタイム エラーを含む操作がその後のコードの検証にどのように影響するかを学ぶ。
- Code Prover 解析後のソース コード ツールヒントでの変数の範囲
Code Prover が変数の範囲を報告する理由と、特定の範囲が予期されているよりも狭いことがある理由を説明します。 - PolyspaceCode Prover のオレンジ チェック
検証によって特定の操作でのエラーの有無を証明できない理由と、その操作を確認しなければならない理由を学ぶ。
- Understanding Changes in Polyspace Results After Product Upgrade
Compare results before and after upgrade, interpret differences based on release notes and general direction of trends in Code Prover releases.
Polyspace デスクトップ ユーザー インターフェイス
- Dashboard in Polyspace Platform User Interface
The Dashboard pane shows an overview of Code Prover results in graphical format, for instance, run-time check distribution by color. - Results List in Polyspace Platform User Interface
The Results List pane lists Bug Finder results with attributes such as file, function and review status. - Source Code in Polyspace Platform User Interface
The Source Code pane shows source code overlaid with Code Prover results. - Result Details in Polyspace Platform User Interface
The Result Details pane shows details of a specific Code Prover result along with review information. - Concurrency Modeling in Polyspace Platform User Interface
The Concurrency Modeling pane shows the entry point functions in a multitasking application, and whether they are detected automatically from the code or explicitly specified. - Investigate Data Race Defects Using Data Race Graph in Polyspace Platform User Interface
The Data Race Graph shows details for data race defects including the read and write operations performed on shared variables. - Call Hierarchy in Polyspace Platform User Interface
The Call Hierarchy pane shows callers and callees of a function. - Global Variables Usage in Polyspace Platform User Interface
The Variable Access pane shows all global variables along with read and write operations on them. - オレンジ チェックの原因
[オレンジ ソース] ペインには、複数のオレンジ チェックの原因となる可能性がある volatile 変数やスタブ関数などの制約なしのソースが表示される。
