capability hardware enhanced risc instructions : cheri instruction - set architecture ( version 7 ) .
Dynamic Instrumentation of Production Systems