Erfasste Open-Source-Repos von NASA-SW-VnV, sortiert nach Sternen.
Statischer Analysator für C/C++ basierend auf der Theorie der abstrakten Interpretation.
