A Practical Dynamic Buffer Overflow Detector
CCured in the real world