stefanbucur/s2e_docker
Docker image for S2E http://s2e.epfl.ch/
Public GitHub Catalog
Discovered Oct 5, 2026
stefanbucur / linux-s2e
Linux kernel instrumented for S2E support
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.
#29987858GitHub 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