eurecom-s3 / symcc
SymCC: efficient compiler-based symbolic execution
- Repository stars
- 889All-time #43,343
- Fork
- 159
- Last push
- updated 9 days ago
- Repository created
- since 2020
About
SymCC: efficient compiler-based symbolic executionSummarised by AI from the README; the original prevails
Author description: SymCC: efficient compiler-based symbolic execution
Basic listing based on official public information; functionality has not been independently evaluated.
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.