Splint er et værktøj til statisk kontrol C-programmer for sikkerhedshuller og programmering fejl.
Splint gør mange af de traditionelle lint kontrol, herunder ubrugte erklæringer, type uoverensstemmelser, brug før definition, utilgængelig kode, ignorerede afkast værdier, udførelse stier med no return, sandsynligvis uendelige løkker, og falde gennem sager.
Kraftigere kontrol muliggjort af yderligere oplysninger i kildekode anmærkninger. Anmærkninger er stiliserede kommentarer dette dokument antagelser om funktioner, variabler, parametre og typer.
Ud over den kontrol, der specifikt muliggøres af anmærkninger, er mange af de traditionelle lint kontrol forbedres ved at udnytte disse yderligere oplysninger.
Som en større indsats sættes i udfyldelse programmer, bedre resultater kontrol. Et repræsentativt indsats-benefit-kurven for hjælp Splint er vist i figur 1.
Splint er designet til at være fleksibel og give programmører til at vælge passende punkter på den indsats-benefit-kurven til særlige projekter.
Da forskellige kontroller er tændt og mere information findes i koden anmærkninger antallet af fejl, der kan påvises stiger dramatisk.
Konstaterede problemer af Splint inkluderer:
Kommentarer ikke fundet