dslab-epfl/chef
The Chef symbolic execution platform, based off S2E
Public GitHub Catalog
Discovered Oct 20, 2026
dslab-epfl / s2e-guest
S2E guest utilities
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.
#40768262GitHub System ID
dslab-epflOrganization / User
PublicVisibility
ActiveCatalog Status
More from dslab-epfl
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
dslab-epfl/warr
Automatically exported from code.google.com/p/warr