Pattern: Pointer out of bounds
Issue: -
Pointer arithmetic is out of bounds. From chapter 6.5.6 in the C specification:
If both the pointer operand and the result point to elements of the same array object, or one past the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.