dslab-epfl/s2e-guest
S2E guest utilities
Public GitHub Catalog
Discovered Oct 21, 2026
dslab-epfl / bugbase
A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#41389764GitHub System ID
dslab-epflOrganization / User
PublicVisibility
ActiveCatalog Status
More from dslab-epfl
dslab-epfl/chef
The Chef symbolic execution platform, based off S2E
dslab-epfl/symbex-smt-queries
A collection of SMT queries arising in symbolic execution workloads
dslab-epfl/jagr
Automatically exported from code.google.com/p/jagr