静的メモリチェック

メモリアクセスのチェック

Polyspace^® Code Prover™ の静的メモリチェックは、範囲外の配列アクセスやポインターのデリファレンスなど、静的に割り当てられるメモリに関連するランタイムエラーがないかチェックします。

Polyspace 結果

絶対アドレスの使用チェックのレビューと修正
コード内での絶対アドレスの使用法を確認し、アドレスが有効であることを確認する。
不適切にデリファレンスされたポインターチェックのレビューと修正
ポインターが割り当て済みメモリバッファー外を指すことになる操作が事前に行われていないかコード内を確認する。
範囲外の配列インデックスチェックのレビューと修正
配列インデックスが配列のサイズを超えることになる操作が事前に行われていないかコード内を確認する。
コード内の変数間の関係の検出
任意の操作に含まれる変数が前の操作に関連しているかどうかを判断する。