RockSalt: better, faster, stronger SFI for the x86
Pin: building customized program analysis tools with dynamic instrumentation