Splint este un instrument pentru a verifica static programe C pentru vulnerabilitățile de securitate și greșeli de programare.
Splint face multe dintre controalele tradiționale scame, inclusiv declarațiile neutilizate, incoerențe tip, uz înainte de definiție, cod inaccesibil, valorile de returnare ignorate, căi de execuție fără întoarcere, bucle probabil infinite, și se încadrează prin cazuri.
Verificări mai puternice sunt posibile cu informații suplimentare prezentate în adnotări de cod sursă. Adnotările sunt comentarii stilizate că ipotezele de documente despre funcții, variabile, parametri și tipuri.
În plus față de verificările activate specific de adnotări, multe dintre controalele tradiționale scame sunt îmbunătățite prin exploatarea acestor informații suplimentare.
Ca mai mult efort este pus în programe adnotarea, rezultate mai bune de control. O curbă efort-beneficiu reprezentațional pentru utilizarea Splint este prezentată în figura 1.
Atelă este conceput pentru a fi flexibil și permite programatorilor pentru a selecta puncte adecvate pe curba de efort-beneficiu pentru anumite proiecte.
Ca diferite verificări sunt pornite și mai multe informații este dat în codul adnotări numărul de bug-uri care pot fi detectate crește dramatic.
Probleme detectate de Splint includ:
Comentariile nu a fost găsit