Erfasste Open-Source-Repos von S2E, sortiert nach Sternen.
S2E: Eine Plattform für Multi-Path-Programmanalyse mit selektiver symbolischer Ausführung.
