MBA deobfuscator via Program Synthesis and Term Rewriting - View it on GitHub