eurecom-s3 / symcc
git clone https://github.com/eurecom-s3/symcc.git
SymCC: efficient compiler-based symbolic execution
+0
stars, 24h · #70,412
+3
stars, 7 days · #33,542
+~9
stars, 30 days · #40,810
889
★ total · +0% this week
159
forks · 59 open issues
Star history (as recorded here)
LanguageC++
LicenseGPL-3.0
Created2020-06-17 (6y ago)
Last push10d ago
OwnerOrganization
Links
- GitHub: github.com/eurecom-s3/symcc
- Homepage: http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
- Releases · Issues · Hacker News mentions
README
Loading README…