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

その他のチェック

標準ライブラリ関数の使用方法、ポインター キャストおよび assert ステートメントのチェック

Polyspace® Code Prover™ は、特定の C/C++ ライブラリに固有の以下のようなランタイム エラーがないかチェックできます。

  • 標準ライブラリの数学関数を使用するときの定義域エラー。

  • AUTOSAR ランタイム環境 (RTE) の関数を使用するときの設計範囲の超過。

Polyspace 結果

AUTOSAR ランナブルが実装されていませんAUTOSAR ランナブルを実装する関数が見つからない
正確性の条件ポインターのキャストまたは関数ポインターの使用に際して不一致が生じる
AUTOSAR ランナブルの実装の無効な結果戻り値または出力引数が AUTOSAR 仕様に違反している
AUTOSAR のランタイム環境関数の無効な使用RTE 関数の引数が AUTOSAR 仕様に違反している
標準ライブラリ ルーチンの無効な使用無効な引数で標準ライブラリ関数が呼び出される
AUTOSAR 仕様に非準拠RTE API 関数が、AUTOSAR 規格仕様に違反する引数を指定して使用されている (R2021a 以降)
ユーザー アサーションassert ステートメントが失敗
モデル参照の入力/出力が指定された範囲外Input or output of generated code from model reference outside of range specified in model

トピック