GitHub repository: AdaLogics/symcc
Description: SymCC: efficient compiler-based symbolic execution