VMSpec: A Decompiler-based Approach against Virtual Machine Obfuscation | AIChainDay