Bug Finder の結果の解釈
Bug Finder の結果メッセージを解釈してソース コードに移動し、結果の根本原因を見つける
Polyspace® Bug Finder™ ユーザー インターフェイスのさまざまなペインを使用して、結果を解析し、欠陥の根本原因を特定する方法について説明します。
トピック
入門
- Polyspace デスクトップ ユーザー インターフェイスでの Bug Finder の結果の解釈
結果の詳細のメッセージを解釈し、結果の根本原因を特定する。 - 結果のリストが空の原因の調査
[結果のリスト] ペインが空の場合に従う手順を学ぶ。
Bug Finder の結果の理解
- マクロを含む行での Polyspace の結果
Polyspace で、マクロを含むソース コード行に結果がどのように表示されるかを確認する。 - 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. - Bug Finder 解析の前提条件
コード解析時に使用する前提条件
Polyspace ユーザー インターフェイス
- Polyspace デスクトップ ユーザー インターフェイスでの [ダッシュボード]
[ダッシュボード] ペインには、影響度別欠陥分布など、Bug Finder の結果の概要がグラフ形式で表示されます。 - Polyspace デスクトップ ユーザー インターフェイスでの [同時実行モデリング]
[同時実行モデリング] ペインには、マルチタスキング アプリケーションのエントリ ポイント関数が表示されます。また、それらの関数がコードから自動的に検出されるか、または明示的に指定されているかどうかも示されます。 - Polyspace デスクトップ ユーザー インターフェイスでの結果リスト
[結果のリスト] ペインには、Bug Finder 結果がファイル、関数、レビュー状態などの属性と共にリストされます。 - Polyspace デスクトップ ユーザー インターフェイスのソース コード
[ソース] ペインには、Bug Finder の結果を重ね合わせたソース コードが表示されます。 - Polyspace デスクトップ ユーザー インターフェイスの結果の詳細
[結果の詳細] ペインには、特定の Bug Finder 結果の詳細とレビュー情報が表示されます。 - Polyspace デスクトップ ユーザー インターフェイスの [呼び出し階層]
[呼び出し階層] ペインには、関数の呼び出し元と呼び出し先が表示されます。
