PinOS: a programmable framework for whole-system dynamic instrumentation
dynamic binary analysis and instrumentation .