This is the Python PoC for the blog post: Improving MBA Deobfuscation using Equality Saturation.
- It is a monolithic slow script that has just been used to experiment with the documented ideas and must be considered unstable;
- It will be properly rewritten in a faster language in the upcoming months;
Two example oracles (symbolic and constant) are temporarely available via MEGA/Drive but will be uploaded to a dedicated server: