symbolic execution plugin for radare2
radius is a fast binary emulation and symbolic execution framework using radare2
