Checking of array accesses (and PointerArithmetic, if supported) to ensure that the index is within the bounds of the array.

In languages that do not require BoundsChecking, accessing an array out of bounds may cause UndefinedBehavior.