Polyspace Code Prover の結果

結果の説明と例

Polyspace® Code Prover™ は、C/C++ コードのランタイム エラー、グローバル変数の使用、スタック使用量を網羅的にチェックして、実行されたすべてのチェックの結果をリストで報告します。結果の色とアイコンは、チェックにパスしたか、失敗したか、不確定のままかによって変わります。

  • 結果の色とアイコンの詳細については、Code Prover の結果とソース コードの色を参照してください。

  • 結果のそれぞれのタイプの詳細については、次のカテゴリのいずれかを選択してください。

カテゴリ