all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: splint  ]

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

Links for splint

Screenshot

Debian Resources:

Download Source Package splint:

Maintainer:

External Resources:

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

Download splint

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 675.2 kB2,239.0 kB [list of files]
arm64 552.7 kB2,043.0 kB [list of files]
armel 552.9 kB1,977.0 kB [list of files]
armhf 560.3 kB1,589.0 kB [list of files]
i386 726.2 kB2,602.0 kB [list of files]
mips 591.3 kB2,732.0 kB [list of files]
mips64el 605.7 kB2,870.0 kB [list of files]
mipsel 603.4 kB2,732.0 kB [list of files]
ppc64el 604.6 kB2,523.0 kB [list of files]
s390x 610.9 kB2,439.0 kB [list of files]