Erfasste Open-Source-Repos von SVF-tools, sortiert nach Sternen.
Statischer Value-Flow-Analyse-Framework für Quellcode
