GitHub repository: radareorg/esilsolve
Primary language: Python
Description: A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)