无法检测到静态和自动数组的超出边界错误

由于检测数组边界所用的算法问题，Discover 无法检测到静态和自动（本地）数组的超出边界访问错误。只能检测动态分配数组的错误。