A Practical Dynamic Buffer Overflow Detector
Self-adjusting binary search trees