MicroSMT
Python
★ 75
updated 1mo ago
IDA plugin for automatic deobfuscation of opaque predicates by lifting microcode to z3 for SMT reasoning.
No plain-English explanation yet — one is being written right now. Check back in a minute.