Stecca Splint è uno strumento che controlla i programmi C per problemi di sicurezza e errori di codifica.
Scarica ora

Stecca Classifica e riepilogo

Stecca Tag

Debugger Problemi di sicurezza codifica errori Stecca

Stecca Descrizione

Splint è uno strumento che controlla i programmi C per problemi di sicurezza e errori di codifica. Splint è uno strumento per il controllo staticamente i programmi C per le vulnerabilità di sicurezza e gli errori di programmazione.splint fa molti dei tradizionali controlli di lanugine, comprese le dichiarazioni inutilizzate, le incoerenze del tipo, l'uso prima della definizione, il codice irraggiungibile, i valori di ritorno ignorati, i percorsi di esecuzione senza ritorno, probabilmente infinito Loop e cadono attraverso i casi. I potenti controlli sono resi possibili da ulteriori informazioni fornite nelle annotazioni del codice sorgente. Le annotazioni sono commenti stilizzati che documentano ipotesi su funzioni, variabili, variabili, parametri e tipi. Inoltre ai controlli Abilitati in modo specifico per annotazioni, molti dei tradizionali controlli di lanugine vengono migliorati sfruttando queste informazioni aggiuntive. Maggiore più sforzi sono mettiti in programmi annotanti, meglio Controllo dei risultati. Una curva di sforzi di rappresentanza-benefici per l'utilizzo della stecca è mostrata nella figura 1.Splint è progettata per essere flessibile e consentire ai programmatori di selezionare punti appropriati sulla curva di sforzi-benefici per particolari progetti. Ai diversi controlli sono attivati e ulteriori informazioni sono fornite in più Annotazioni del codice Il numero di bug che possono essere rilevato aumenta drammaticamente. Ippoblems rilevati da una stecca includono: · Derreferenziando un po 'possibile un po' null · Utilizzando l'immagazzinamento o una memoria di ritorno eventualmente non definiti che non sono definiti correttamente · Digitare mancata corrispondenza, con maggiore precisione e flessibilità rispetto a una maggiore precisione e flessibilità rispetto a una maggiore precisione e flessibilità C Compilatori · Violazione delle informazioni che si nascondono · Errori di gestione della memoria compresi gli usi dei riferimenti pendenti e perdite di memoria · Aliasing pericoloso · Modifiche e usi globali variabili che sono incoerenti con interfacce specificate · Flusso di controllo problematico come probabili anelli infiniti, cadere attraverso casi o interruttori incompleti e dichiarazioni sospette · buffer overflow vulnerabilità · Pericoloso Macro implementazioni o invocazioni · Violazioni di convenzioni di denominazione personalizzate.

Stecca Software correlato