Practical memory checking with Dr. Memory
Pin: building customized program analysis tools with dynamic instrumentation