Programmes par smatch.sf.net

Une expérience pour trouver des erreurs de noyau.Il y a deux parties principales à Smatch. Le premier est un patch aux sources gcc pour imprimer beaucoup d’informations. La deuxième partie est une collection de scripts p