HDTrans: a low-overhead dynamic translator
dynamic binary analysis and instrumentation .