ArrayBound -- 配列境界外の要素へのアクセス
C++ 検査 への移動
説明
この検査では、配列のインデックス式が配列の境界からはみ出していないかを確認します。 この違反は、たとえば、インデックス式が必ず負の値になるか、インデックス式の最小値がアクセス対象の配列が取り得る最大長以上になることなどを示します。
ArrayBound 検査は ArrayBoundV2 -- 配列境界外の要素へのアクセス（Access to an Element Out of Array's Boundaries） に相当します。
誤った例
int arr[5];
int find(int low) {
if (low < 0) {
arr[low] = 0;
}
...
}