Control flow deobfuscation using Z3 and ILAst - View it on GitHub