Frama-C: Souveränitäts-Score und 8 europäische Alternativen

https://eusovereigntyscore.eu/de/vendors/frama-c