eurecom-s3/symcc
SymCC: efficient compiler-based symbolic execution
Language: C++
Stars: 94 Issues: 1 Forks: 5
https://github.com/eurecom-s3/symcc