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