Baggy Bounds with Accurate Checking
Practical memory checking with Dr. Memory