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