Frama-C : score de souveraineté et 8 alternatives européennes

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