ArrayBound -- 配列境界外の要素へのアクセス

C++ 検査への移動

この検査では、配列のインデックス式が配列の境界からはみ出していないかを確認します。この違反は、たとえば、インデックス式が必ず負の値になるか、インデックス式の最小値がアクセス対象の配列が取り得る最大長以上になることなどを示します。

ArrayBound 検査は、ArrayBoundV2 と同等です。

 int arr[5];
 int find(int low) {
   if (low < 0) {
      arr[low] = 0;
   }
   ...
 }

関連項目