Using Symbolic Execution to Devirtualise a Virtualised Binary

https://blog.deobfuscate.io/using-symbolic-execution-for-devirtualisation

https://x.com/home/status/1834487226060751222

https://x.com/home/status/1834601246138712409

https://x.com/home/status/1834655552900665513