数组边界检查可防止缓冲区溢出的产生。为了实现数组边界检查，应当检查所有对数组的读写操作以确保正确的范围内对数组的操作。数组下标检查是指在程序中，所有数组下标的表达式的结果在真正被用来访问某一个特定的元素之前，先把它的值和定义数组时给出的数组上界和下界进行比较。如果一个下标超出了预期的范围时，那么就引发一个错误来阻止进一步的访问。比如在访问一个下标范围是0~9的数组前检查下标是否也在0~9内，而不是如25之类的越过数组结尾的下标。除了软件实现的下标检查之外，VAX架构的计算机拥有一条INDEX汇编指令，可以用来检查数组的下标是否越界，可以至多提供6个任意VAX编址的地址。B6500和一些相似的伯勒斯计算机则以硬件进行边界检查，无论是采用什么语言撰写的程序。

冗余数组边界检查消除是指在程序中删除被证明是合法的数组访问所对应的边界检查。当数组索引能够保证在到一之间，则该数组访问对应的数组边界检查被视为完全冗余，可从程序中删除。如果数组边界检查位在循环体中，循环边界和数组长度都是循环不变量，并且数组索引变量是循环归纳变量，那么可以通过把边界检查移出循环体来减少数组边界检查的执行次数。这种冗余被称为部分冗余。

数组边界检查导致程序运行时性能的减慢主要有两个原因一是执行这些边界检查操作需要时间开销。边界检查需要得到数组的长度信息，这需要一个访存操作，而判断当前的访问索引是否合法，又需要一个比较操作。如果边界检查处在一些频繁访问的循环中，那么这些操作的开销将是非常可观。二是数组边界检查可能会阻止其他的优化机会，比如代码移动。和嵌套循环优化等 。