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