ヘルプセンターヘルプセンター

解析結果のレビュー

Web ブラウザーまたは IDE での Polyspace^® の結果のレビュー

実行している Polyspace Access™ 製品に応じて、結果を次の場所でレビューできます。

Web ブラウザー:サーバー上の Polyspace Bug Finder™ Server™ または Polyspace Code Prover™ Server で解析を実行した後、ここで結果を確認できます。
IDE:Polyspace as You Code を使用して IDE で解析を実行した後、ここで結果を確認できます。

カテゴリ

Web ブラウザーでの Polyspace Bug Finder の結果のレビュー
Polyspace Access Web インターフェイスでの結果のレビュー、コメントの追加およびチケットの作成、結果のアップロードおよび確認、レポートの生成
Web ブラウザーでの Polyspace Code Prover の結果のレビュー
Polyspace Access Web インターフェイスでの結果のレビュー、コメントの追加およびチケットの作成、結果のアップロードおよび確認、レポートの生成
Web ブラウザーでの Polyspace Test の結果のレビュー
Polyspace Access Web インターフェイスでの Polyspace Test™ 結果のレビュー、コメントの追加およびチケットの作成、結果のアップロードおよびオープン
IDE での Polyspace as You Code 結果のレビュー
単一ファイル解析の実行と IDE またはエディターでの結果のレビュー

関連情報

Polyspace Bug Finder のすべての結果のリスト (Polyspace Bug Finder)
Polyspace Code Prover のすべての結果のリスト (Polyspace Code Prover)