Practical memory checking with Dr. Memory
Valgrind: a framework for heavyweight dynamic binary instrumentation