Baggy Bounds with Accurate Checking
Valgrind: a framework for heavyweight dynamic binary instrumentation