AlphaUncommon
S2E/s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
- Owner
- S2E (organization)
- Stars
- Stars: 527
- Forks
- Forks: 96
- Language
- C++
- License
- None
- Created
- 2020
- Topics
- symbolicexecutiontestingcoverageqemukvmautomatedpovcgcvulnerabilities
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by S2E
All 2 repos by S2E- S2E/s2e-oldStars: 314CAlpha
Nearby in C++
All C++ repos- katahiromz/RisohEditorStars: 527C++Alpha
- aff3ct/MIPPStars: 527C++Alpha
- alexmercerind/dart_vlcStars: 527C++Alpha
- jhasse/poly2triStars: 527C++Alpha
- cmangos/mangos-tbcStars: 527C++Alpha
- paperManu/splashStars: 527C++Alpha