Polyspace Code Prover のすべての結果のリスト
結果の説明と例
Polyspace® Code Prover™ の結果とは、ランタイム エラー チェック、スタック使用量メトリクスまたはグローバル変数プロパティです。結果のそれぞれのタイプは、次のアイコンのいずれかにより特定されます。
、、、および — 実行時チェック
および — コード メトリクス
および — グローバル変数
レビューを微調整するには、Polyspace デスクトップ ユーザー インターフェイスでの結果のフィルター処理とグループ化を参照してください。結果についてさらに理解するには、これらのカテゴリのリファレンス ページを参照してください。