Programmi di smatch.sf.net

Un esperimento per trovare errori del kernel.Ci sono due parti principali per Smatch. Il primo è una patch alle fonti gcc per stampare molte informazioni. La seconda parte è una raccolta di script e librerie perl per ana