VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification
Optimizing direct threaded code by selective inlining