Detecting memory access outside the boundary of an array