# eurecom-s3/symcc

<https://repo.masters-masters.com/en/repos/eurecom-s3/symcc>

[Home](https://repo.masters-masters.com/en) › [eurecom-s3](https://repo.masters-masters.com/en/owners/eurecom-s3) › [symcc](https://repo.masters-masters.com/en/repos/eurecom-s3/symcc)

eurecom-s3/symcc has 887 stars on GitHub. Its RepoMasters card: Beta tier. SymCC: efficient compiler-based symbolic execution Language: C++.

| Field | Value |
| --- | --- |
| Owner | [eurecom-s3](https://repo.masters-masters.com/en/owners/eurecom-s3) |
| Stars | 887 |
| Forks | 159 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | GPL-3.0 |
| Created | 2020 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [eurecom-s3/symcc](https://github.com/eurecom-s3/symcc) |

## Repository

SymCC: efficient compiler-based symbolic execution

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by eurecom-s3

- [eurecom-s3/symqemu · ★ 380 · C · Alpha](https://repo.masters-masters.com/en/repos/eurecom-s3/symqemu)
- [eurecom-s3/screaming\_channels · ★ 155 · C · Prototype](https://repo.masters-masters.com/en/repos/eurecom-s3/screaming_channels)
- [eurecom-s3/lemon · ★ 122 · C · Prototype](https://repo.masters-masters.com/en/repos/eurecom-s3/lemon)

## Nearby in C++

- [geeksville/Micro-RTSP · ★ 887 · C++ · Beta](https://repo.masters-masters.com/en/repos/geeksville/Micro-RTSP)
- [jtothebell/fake-08 · ★ 887 · C++ · Beta](https://repo.masters-masters.com/en/repos/jtothebell/fake-08)
- [ArisGuimera/Flutter-Expert · ★ 887 · C++ · Beta](https://repo.masters-masters.com/en/repos/ArisGuimera/Flutter-Expert)
- [andrewprock/pokerstove · ★ 887 · C++ · Beta](https://repo.masters-masters.com/en/repos/andrewprock/pokerstove)
- [StanfordPL/stoke · ★ 887 · C++ · Beta](https://repo.masters-masters.com/en/repos/StanfordPL/stoke)
- [google/certificate-transparency · ★ 887 · C++ · Beta](https://repo.masters-masters.com/en/repos/google/certificate-transparency)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.