IDA plugin for automatic deobfuscation of opaque predicates by lifting microcode to z3 for SMT reasoning.
// COLLECTING HISTORY · CHECK BACK AFTER MORE DAILY SNAPSHOTS