Splint är ett verktyg för att statiskt kontrollera C-program för säkerhetsproblem och programmerings misstag.
Splint gör många av de traditionella lint kontroller inklusive outnyttjade deklarationer, typ inkonsekvenser, användning före definition, onåbar kod, ignorerade returvärden, utförande banor med ingen återvändo, troligen oändliga slingor, och faller genom fall.
Kraftfullare kontroller möjliggörs genom ytterligare uppgifter som lämnats i källkod kommentarer. Anteckningar är stiliserade kommentarer som dokument antaganden om funktioner, variabler, parametrar och typer.
Utöver de kontroller som särskilt möjliggörs genom anteckningar, många av de traditionella lint kontrollerna förbättras genom att utnyttja denna ytterligare information.
Som mer ansträngning tas i kommenteringen program, bättre kontrollresultat. En representativ insats nyttokurva för att använda Splint visas i figur 1.
Splint är utformad för att vara flexibel och tillåta programmerare att välja lämpliga punkter på ansträngningen nyttokurvan för särskilda projekt.
Eftersom olika kontroller är påslagna och mer information ges i koden anteckningar antalet buggar som kan detekteras ökar dramatiskt.
Problem som upptäcks av Splint inkluderar:
Kommentarer hittades inte