S2E/s2e

s2e

✅ Recently maintained

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

528Stars
96Forks
+17-day stars

C++ · License unverified · Last push 2026-11-01

Official repository & installation ↗
symbolicexecutiontestingcoverageqemukvmautomatedpovcgcvulnerabilities

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-02
View historical data
DateStars
2026-10-04524
2026-10-05524
2026-10-06524
2026-10-07524
2026-10-08524
2026-10-09524
2026-10-10524
2026-10-11524
2026-10-12524
2026-10-13525
2026-10-14525
2026-10-15525
2026-10-16525
2026-10-17525
2026-10-18525
2026-10-19526
2026-10-20526
2026-10-21526
2026-10-22526
2026-10-23526
2026-10-24527
2026-10-25527
2026-10-26527
2026-10-27527
2026-10-28527
2026-10-29527
2026-10-30527
2026-10-31527
2026-11-01527
2026-11-02528

Get the project

git clone https://github.com/S2E/s2e.git

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.

playwright

Cross-browser web automation and end-to-end testing framework by Microsoft supporting Chromium, Firefox, and WebKit through a unified API.

★ 99,124puppeteer

JavaScript API for Chrome and Firefox

★ 95,790storybook

Storybook is the industry standard workshop for building, documenting, and testing UI components in isolation

★ 91,428