Main Content

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Polyspace Code Prover のすべての結果のリスト

結果の説明と例

Polyspace® Code Prover™ の結果とは、ランタイム エラー チェック、スタック使用量メトリクスまたはグローバル変数プロパティです。結果のそれぞれのタイプは、次のアイコンのいずれかにより特定されます。

  • 、、、および — 実行時チェック

  • および — コード メトリクス

  • および — グローバル変数

レビューを微調整するには、Polyspace デスクトップ ユーザー インターフェイスでの結果のフィルター処理とグループ化を参照してください。結果についてさらに理解するには、これらのカテゴリのリファレンス ページを参照してください。

カテゴリ