Valgrind: a framework for heavyweight dynamic binary instrumentation
efficient , transparent , and comprehensive runtime code manipulation .