Splint 3.1.1
Splint è uno strumento per il controllo statico programmi in C per le vulnerabilità di sicurezza e gli errori di programmazione.Stecca fa molti dei tradizionali controlli pelucchi tra cui le dichiarazioni non utilizzati, il tipo di incongruenze, l'uso...