A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language) - View it on GitHub