BetaRare
eurecom-s3/symcc
SymCC: efficient compiler-based symbolic execution
- Owner
- eurecom-s3 (organization)
- Stars
- Stars: 887
- Forks
- Forks: 159
- Language
- C++
- License
- GPL-3.0
- Created
- 2020
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by eurecom-s3
All 4 repos by eurecom-s3- eurecom-s3/symqemuStars: 380CAlpha
- eurecom-s3/screaming_channelsStars: 155CPrototype
- eurecom-s3/lemonStars: 122CPrototype
Nearby in C++
All C++ repos- geeksville/Micro-RTSPStars: 887C++Beta
- jtothebell/fake-08Stars: 887C++Beta
- ArisGuimera/Flutter-ExpertStars: 887C++Beta
- andrewprock/pokerstoveStars: 887C++Beta
- StanfordPL/stokeStars: 887C++Beta
- google/certificate-transparencyStars: 887C++Beta