GitHub repository: season-lab/SymFusion
Primary language: C
Description: SymFusion: Hybrid Instrumentation for Concolic Execution