Deobfuscation of Virtualization-Obfuscated Code Through Symbolic Execution and Compilation Optimization
Pin: building customized program analysis tools with dynamic instrumentation