Code Prover 結果の解釈

Polyspace^® Code Prover™ は C/C++ コードでランタイム エラーをチェックします。次の色で表示される結果をチェックしてください。

詳細は、Code Prover の結果とソース コードの色を参照してください。

結果をレビューする際には、問題が発生した場所のすぐそばから、それより前にある関連行にトレースバックします。Polyspace デスクトップ製品のユーザー インターフェイスには、範囲を示すツールヒント、関数呼び出し階層、その他のナビゲーション支援機能など、トレースバックを容易にする便利な機能が多数用意されています。これらのツールを利用して問題の根本原因を特定し、修正を実装します。特定のタイプのチェックをレビューする際に確認すべき事項については、Code Prover の実行時チェックのレビューを参照してください。