Devirt is a binary devirtualization and reverse engineering service for security researchers and malware analysts. Devirt turns code protected by VMProtect, Themida and Code Virtualizer into readable logic, with a coverage ledger of what is proven.