Rule M5-0-16 (required, implementation, automated)
A pointer operand and any pointer resulting from pointer arithmetic using that operand shall both address elements of the same array. See MISRA C++ 2008 [7] Note: The next element beyond the end of an array indicates the end of the array.