Lightweight memory tracing
Practical memory checking with Dr. Memory