Additional Overflow Detection

Besides the mechanism discussed above, we may use other mechanisms to detect buffer overflow.