stefanbucur/linux-s2e
Linux kernel instrumented for S2E support
Public GitHub Catalog
Discovered Oct 2, 2026
stefanbucur / s2e_docker
Docker image for S2E http://s2e.epfl.ch/
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#24103189GitHub System ID
stefanbucurOrganization / User
PublicVisibility
ActiveCatalog Status
More from stefanbucur
stefanbucur/Pynfoscience
Python scripts for accessing and generating publication information from EPFL's Infoscience service
stefanbucur/CombiSAT
An experimental parallel Python-based SAT solver obtained by aggregating a portfolio of multiple sequential SAT solvers running different strategies