SMT-assisted opaque-predicate deobfuscator and symbolic-analysis toolkit for radare2 - View it on GitHub