This article demonstrates devirtualization of CodeVirtualizer/Themida protected code, however the techniques described apply to pretty much every virtual machine based obfuscator.