数组越界的严重性

在 C 语言里，数组需为静态的。数组的大小需要在程序运行前就确定下来。
C语言数组越界的严重性在于对数组元素访问及修改的内容存在不确定性。
这类没有预知性的修改会导致无法确定的错误，发生缓冲区泄露漏洞。
这也就是数组越界的严重所在。

代码如下所示：

数组里的下标从0开始。
那么在上面代码只能访问：a[1]、a[2]、a[3]、a[4]、a[5]、a[6]、a[7]、a[8]、a[9]
i自加到10时，a[10]属于数组下标越界。

详细分析图

1、栈把内存分配给数组，并且自上而下从小地址开始分配内存，对应于数组下标：

对数组进行内存分配之后进行数组循环赋值。数组下标为0~9在数组所分配的空间内。

由顶部代码可知数组访问将会越界，如图所示访问到数组范围之后，并且对越界空间进行操作，破坏原有数据。访问之后程序会破坏内存原有数据，导致缓冲区泄露，并且发生不可预知的错误。