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