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