A Practical Dynamic Buffer Overflow Detector
An infrastructure for adaptive dynamic optimization