Splint on työkalu staattisesti tarkistaa C-ohjelmia haavoittuvuudet ja ohjelmointi virheitä.
Lastaan tekee monet perinteiset nukkaa tarkastukset mukaan lukien käyttämättömät julkilausumat, tyyppi epäjohdonmukaisuuksia, käytössä ennen määrittely, saavuttamaton koodi, huomiotta paluuarvot, toteutus polkuja ei ole paluuta, todennäköisesti ääretön silmukoita, ja kuuluvat läpi tapauksia.
Tehokkaammat tarkastukset ovat mahdollisia lisätietoja annetaan lähdekoodin merkintöjä. Merkinnät ovat tyyliteltyjä kommentteja kyseisen asiakirjan oletuksia toiminnoista, muuttujat, parametrit ja tyypit.
Lisäksi tarkastukset erityisesti käytössä merkinnät, monet perinteiset nukkaa tarkastukset parannetaan hyödyntämällä näitä lisätietoja.
Mitä enemmän vaivaa on otettu merkitsemiseksi ohjelmiin, parempia tarkkailun tuloksia. Edustuksellinen vaivaa-hyöty käyrän avulla Splint on esitetty kuviossa 1.
Lastaan on suunniteltu olemaan joustava ja mahdollistaa ohjelmoijat valita asianmukaisen pistettä vaivaa hyöty-käyrän tiettyjä hankkeita.
Koska eri tarkastukset ovat päällä, ja lisätietoja annetaan koodi selitteistä useita vikoja, jotka voidaan havaita kasvaa dramaattisesti.
Havaittujen ongelmien Splint muassa:
Kommentteja ei löytynyt