Tarafından Programlar smatch.sf.net

Çekirdek hatalarını bulma denemesi.Smatch'in iki ana bölümü vardır. İlk gcc kaynaklarına bir çok bilgi yazdırmak için bir yama. İkinci bölüm, bilgileri analiz etmek için perl komut dosyaları ve kitaplıklardan oluşan bir