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 prima definizione, codice irraggiungibile, valori di ritorno ignorati, percorsi di esecuzione senza ritorno, loop probabile infiniti, e la caduta attraverso casi.
Controlli più potenti sono rese possibili da ulteriori informazioni fornite nelle annotazioni di codice sorgente. Le annotazioni sono commenti stilizzati che le ipotesi di documenti sulle funzioni, le variabili, i parametri e tipi.
In aggiunta ai controlli specificamente abilitati dalla annotazioni, molti dei tradizionali controlli filacce sono migliorati sfruttando queste informazioni aggiuntive.
Come più sforzo è messo in programmi annotazione, migliori risultati di controllo. Una curva sforzo-beneficio rappresentativo per l'utilizzo Splint è mostrato in Figura 1.
Splint è stato progettato per essere flessibile e consentire ai programmatori di selezionare punti appropriati sulla curva sforzo-benefici per particolari progetti.
Come diversi controlli siano accesi e ulteriori informazioni è dato in codice annotazioni il numero di bug che possono essere rilevati aumenta drammaticamente.
I problemi rilevati da Splint includono:
I commenti non trovato