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