Valgrind: a framework for heavyweight dynamic binary instrumentation
How to shadow every byte of memory used by a program