Memory-Size-Assisted Buffer Overflow Detection
CCured in the real world