Had some fun using #Z3 to eliminate superfluous logic from string decryption routines. Wrote a blog post documenting my process.

Thank you @mr_phrazer for introducing this concept to me during your Software Deobfuscation Techniques training.

https://blog.xorhex.com/blog/z3-simplify-obfuscation/

#z3solver #malware #idapro #ida