radius2 is a fast binary emulation and symbolic execution framework using radare2 - View it on GitHub