Dépôts open source suivis de NASA-SW-VnV, triés par étoiles.
Analyseur statique pour C/C++ basé sur la théorie de l'interprétation abstraite.
