Package: splint-doc-html (1:3.1.2+dfsg-1)

[ Source: splint  ]

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.

Tags: Software Development: Documentation, Testing and QA, Made Of: HTML, Hypertext Markup Language, Role: Documentation

Other Packages Related to splint-doc-html

• sug: splint

  Værktøj til statistisk kontrol af C-programmer for fejl

Download splint-doc-html

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	155.8 kB	1,045.0 kB	[list of files]