Dépôts open source suivis de SVF-tools, triés par étoiles.
Framework d'analyse statique de flux de données pour le code source
