このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
実行時チェック
ランタイム エラー チェックの説明と例
Polyspace® Code Prover™ 実行時チェックは、C/C++ コードに特定のタイプのランタイム エラーが存在すること、または存在しないことを証明しようとします。Code Prover 解析では、コードの実行、コード インストルメンテーションまたはテスト ケースを必要とすることなく、抽象的な解釈に基づいてランタイム エラーにフラグを設定します。明確なエラーは、解析結果にレッド チェックで表示されます。エラーがない場合はグリーン、エラーの可能性が高い場合や確定的でない場合はオレンジで表示されます。Code Prover の結果とソース コードの色も参照してください。
Polyspace は、以下の実行時の問題にフラグを設定します。
これらのカテゴリを使用して、コードのランタイム エラーの可能性とその解決方法を理解できます。
カテゴリ
- データ フロー チェック
変数読み取り、関数の戻り値および条件付きステートメントのチェック
- 数値チェック
算術演算のチェック
- 静的メモリ チェック
メモリ アクセスのチェック
- 制御フロー チェック
関数呼び出しとループのチェック
- C++ チェック
C++ コード専用チェック
- その他のチェック
標準ライブラリ関数の使用方法、ポインター キャストおよびassert
ステートメントのチェック