GitHub repository: usfca-pllab/symcc
Primary language: C++
Description: SymCC: efficient compiler-based symbolic execution