Package: splint (1:3.1.2+dfsg-5 and others)

Links for splint

Debian Resources:

Download Source Package splint:

Maintainer:

Debian QA Group (QA Page)

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

Tags: Software Development: C Development, Libraries, Testing and QA, Implemented in: implemented-in::c, interface::commandline, Role: Development Library, Program, Scope: scope::utility, security::TODO, Purpose: Checking, Works with: Source Code

Other Packages Related to splint

depends

recommends

suggests

enhances

dep: libc6 (>= 2.14) [amd64]

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.16) [x32]

dep: libc6 (>= 2.17) [ppc64el]

dep: libc6 (>= 2.31) [sh4]

dep: libc6 (>= 2.34) [arm64, riscv64]

dep: libc6 (>= 2.36) [loong64]

dep: libc6 (>= 2.7) [armel, armhf, hppa, i386, m68k, mips64el, ppc64, s390x, sparc64]
dep: libc6.1 (>= 2.31) [ia64]

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb

dep: libc6.1 (>= 2.7) [alpha]
dep: libfl2 (>= 2.5.33) [not arm64, loong64, 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

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1:3.1.2+dfsg-5	673.7 kB	3,049.0 kB	[list of 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+b2	615.5 kB	2,397.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]
hppa (unofficial port)	1:3.1.2+dfsg-5	594.1 kB	2,156.0 kB	[list of files]
i386	1:3.1.2+dfsg-5	747.6 kB	2,703.0 kB	[list of files]
ia64 (unofficial port)	1:3.1.2+dfsg-5	824.2 kB	4,844.0 kB	[list of files]
loong64 (unofficial port)	1:3.1.2+dfsg-5	623.4 kB	2,365.0 kB	[list of files]
m68k (unofficial port)	1:3.1.2+dfsg-5	634.8 kB	2,318.0 kB	[list of files]
mips64el	1:3.1.2+dfsg-5	619.2 kB	2,992.0 kB	[list of files]
ppc64 (unofficial port)	1:3.1.2+dfsg-5	695.3 kB	3,168.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+b2	682.6 kB	2,053.0 kB	[list of files]
s390x	1:3.1.2+dfsg-5	620.1 kB	2,452.0 kB	[list of files]
sh4 (unofficial port)	1:3.1.2+dfsg-5	715.4 kB	2,035.0 kB	[list of files]
sparc64 (unofficial port)	1:3.1.2+dfsg-5	554.7 kB	2,234.0 kB	[list of files]
x32 (unofficial port)	1:3.1.2+dfsg-5	702.7 kB	2,267.0 kB	[list of files]