VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification

https://t.co/mjn6UzP5PV