x86-64 Symbolic Execution & LLVM IR Lifting Framework for Deobfuscation - View it on GitHub