GitHub repository: Futaki-Futaba/symexec-engine-modoki
Primary language: Python
Description: Symbolic Execution Engine Modoki