Package: splint (1:3.1.2+dfsg-1)
Links for splint
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
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
Other Packages Related to splint
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.7) [not amd64, arm64, ppc64el]
-
- dep: splint-data (= 1:3.1.2+dfsg-1)
- Værktøj til statistisk kontrol af C-programmer for fejl - datafiler
-
- sug: splint-doc-html
- Værktøj for statistisk kontrol af C-programmers fejl - HTML-dokumentation
Download splint
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 675.2 kB | 2,239.0 kB | [list of files] |
arm64 | 552.7 kB | 2,043.0 kB | [list of files] |
armel | 552.9 kB | 1,977.0 kB | [list of files] |
armhf | 560.3 kB | 1,589.0 kB | [list of files] |
i386 | 726.2 kB | 2,602.0 kB | [list of files] |
mips | 591.3 kB | 2,732.0 kB | [list of files] |
mips64el | 605.7 kB | 2,870.0 kB | [list of files] |
mipsel | 603.4 kB | 2,732.0 kB | [list of files] |
ppc64el | 604.6 kB | 2,523.0 kB | [list of files] |
s390x | 610.9 kB | 2,439.0 kB | [list of files] |