Splint er et verktøy for statisk sjekke C-programmer for sikkerhetsproblemer og programmeringsfeil.
Splint gjør mange av de tradisjonelle lo sjekker inkludert ubrukte erklæringer, type inkonsekvens, bruk før definisjon, ikke nås kode, ignorerte returverdier, krav stier med no return, trolig uendelige løkker, og faller gjennom saker.
Kraftigere sjekker er gjort mulig med ytterligere informasjon gitt i kildekode merknader. Merknader er stiliserte kommentarer som dokumenterer forutsetninger om funksjoner, variabler, parametre og typer.
I tillegg til kontrollene spesifikt aktiveres av merknader, er mange av de tradisjonelle lo sjekker forbedres ved å utnytte denne tilleggsinformasjonen.
Som mer innsats er satt i kommentering programmer, bedre kontroll av resultater. Et representerende krefter nytte kurve for bruk Splint er vist i figur 1.
Splint er designet for å være fleksibel og lar programmerere å velge hensiktsmessige punkter på innsatsen nytte-kurve for spesielle prosjekter.
Som ulike kontroller er slått på og mer informasjon er gitt i kode merknader antall feil som kan oppdages øker dramatisk.
Problemer oppdages av Splint inkluderer:
Kommentarer ikke funnet