# S2E/s2e

<https://repo.masters-masters.com/en/repos/S2E/s2e>

[Home](https://repo.masters-masters.com/en) › [S2E](https://repo.masters-masters.com/en/owners/S2E) › [s2e](https://repo.masters-masters.com/en/repos/S2E/s2e)

S2E/s2e has 528 stars on GitHub. Its RepoMasters card: Alpha tier. S2E: A platform for multi-path program analysis with selective symbolic execution.

| Field | Value |
| --- | --- |
| Owner | [S2E](https://repo.masters-masters.com/en/owners/S2E) |
| Stars | 528 |
| Forks | 96 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | None |
| Created | 2020 |
| Topics | symbolic, execution, testing, coverage, qemu, kvm, automated, pov, cgc, vulnerabilities |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [S2E/s2e](https://github.com/S2E/s2e) |

## Repository

S2E: A platform for multi-path program analysis with selective symbolic execution.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by S2E

- [S2E/s2e-old · ★ 314 · C · Alpha](https://repo.masters-masters.com/en/repos/S2E/s2e-old)

## Nearby in C++

- [daniilidis-group/msckf\_mono · ★ 528 · C++ · Alpha](https://repo.masters-masters.com/en/repos/daniilidis-group/msckf_mono)
- [dengqizhou30/AIAssistOpenCV · ★ 528 · C++ · Alpha](https://repo.masters-masters.com/en/repos/dengqizhou30/AIAssistOpenCV)
- [DSVVA/MHY\_Scanner · ★ 528 · C++ · Alpha](https://repo.masters-masters.com/en/repos/DSVVA/MHY_Scanner)
- [kevinlin311tw/caffe-cvprw15 · ★ 528 · C++ · Alpha](https://repo.masters-masters.com/en/repos/kevinlin311tw/caffe-cvprw15)
- [artyom-beilis/cppcms · ★ 528 · C++ · Alpha](https://repo.masters-masters.com/en/repos/artyom-beilis/cppcms)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.