Package: splint (1:3.1.2+dfsg-5 and others)
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.34) [riscv64]
- dep: libc6 (>= 2.7) [not amd64, arm64, ppc64el, riscv64]
-
- dep: libfl2 (>= 2.5.33) [not riscv64]
- DELT bibliotek for flex - en hurtig leksikal analyseopretter
-
- dep: splint-data (= 1:3.1.2+dfsg-5)
- 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 | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 1:3.1.2+dfsg-5 | 695.1 kB | 2,320.0 kB | [list of files] |
arm64 | 1:3.1.2+dfsg-5 | 621.0 kB | 2,312.0 kB | [list of files] |
armel | 1:3.1.2+dfsg-5 | 569.1 kB | 2,030.0 kB | [list of files] |
armhf | 1:3.1.2+dfsg-5 | 581.9 kB | 1,638.0 kB | [list of files] |
i386 | 1:3.1.2+dfsg-5 | 747.6 kB | 2,703.0 kB | [list of files] |
mips64el | 1:3.1.2+dfsg-5 | 619.2 kB | 2,992.0 kB | [list of files] |
ppc64el | 1:3.1.2+dfsg-5 | 704.2 kB | 2,912.0 kB | [list of files] |
riscv64 | 1:3.1.2+dfsg-5+b1 | 684.8 kB | 2,057.0 kB | [list of files] |
s390x | 1:3.1.2+dfsg-5 | 620.1 kB | 2,452.0 kB | [list of files] |