Erfasste Open-Source-Repos von eurecom-s3, sortiert nach Sternen.
SymCC: effiziente compiler-basierte symbolische Ausführung
