eurecom-s3's tracked open-source repos, sorted by stars.
SymCC: efficient compiler-based symbolic execution
