Package: splint-data (1:3.1.2+dfsg-5)
Links for splint-data
Debian Resources:
Download Source Package splint:
Maintainer:
External Resources:
- Homepage [www.splint.org]
Similar packages:
Værktøj til statistisk kontrol af C-programmer for fejl - datafiler
Splint er et simpelt statisk kontrolprogram assisteret af annotationer. Det er et værktøj for statistisk kontrol af C-programmers sikkerhedssårbarheder og kodningsfejl. Hvis yderligere indsats investeres i tilføjelse af annotationer til programmer kan Splint udfører en bedre kontrol.
Splint udfører mange af de traditionelle lint-kontroller inklusive ubrugte deklarationer, forskelle i typer, brug før definition, kode der ikke kan nås, ignorerede returværdier, kørselsstier uden returnering, sandsynlige uendelige løkker, og fejl via tilfælde. Problemer detekteret af Splint inkluderer:
* Fjernelse af reference til en mulig null pointer. * Brug af eller returnering af lager som ikke er defineret eller korrekt defineret. * Forskelle for typer, med større præcision og fleksibilitet end af C-kompilere. * Fejl i hukommelseshåndteringen såsom brugen af dangling-referencer og hukommelseslæk. * Inkonsekvent (med specificeret grænseflade) global parameterændring eller brug * Problematisk kontrolforløb såsom sandsynlige uendelige løkker etc. * Buffer overflow-sårbarheder * Farlige makroimplementering eller opstarter * Overtrædelse af tilpassede navnekonventioner
Denne pakke indeholder datafilerne, som er nødvendige for at bruge splint.
Download splint-data
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 66.8 kB | 572.0 kB | [list of files] |