Package: splint-doc-html (1:3.1.2+dfsg-5)
Links for splint-doc-html
Debian Resources:
Download Source Package splint:
Maintainer:
External Resources:
- Homepage [www.splint.org]
Similar packages:
Værktøj for statistisk kontrol af C-programmers fejl - HTML-dokumentation
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 manualen (HTML-dokuementation) for Splint.
Other Packages Related to splint-doc-html
|
|
|
|
-
- sug: splint
- Værktøj til statistisk kontrol af C-programmer for fejl
Download splint-doc-html
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 156.2 kB | 1,045.0 kB | [list of files] |