Pin: building customized program analysis tools with dynamic instrumentation
EEL: machine-independent executable editing