GitHub repository: 0xchase/modality
Primary language: Python
Description: Symbolic execution in radare2 with angr