GitHub – aemmitt-ns/esilsolve: A python symbolic execution framework using radare2’s ESIL (Evaluable String Intermediate Language)

https://github.com/aemmitt-ns/esilsolve