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

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

Links for splint

Screenshot

Debian Resources:

Download Source Package splint:

Maintainer:

External Resources:

Similar packages:

strumento per controllo statico di bug in programmi C

splint è un controllore leggero statico assistito da annotazione. È uno strumento per controllare staticamente programmi C alla ricerca di vulnerabilità della sicurezza e di errori nel codice. Se si investe nello sforzo aggiuntivo di aggiungere annotazioni nei programmi, splint può fare controlli più rigorosi.

splint fa molti dei controlli tradizionali alla ricerca di fuffa, inclusi dichiarazioni inutilizzate, incoerenze nei tipi, uso prima della definizione, codice non raggiungibile, valori restituiti ignorati, percorsi di esecuzione senza ritorno, cicli probabilmente infiniti e case fallthrough. I problemi rilevati da Splint includono:

 * dereferenziamento di un puntatore potenzialmente nullo;
 * uso o restituzione di archiviazione non definita o non correttamente
   definita;
 * non corrispondenza di tipo, con precisione e flessibilità maggiori
   rispetto ai compilatori C;
 * errori di gestione della memoria come uso di riferimenti non completi e
   memory leak;
 * modifica o uso di una variabile globale incoerente (con
   l'interfaccia specificata);
 * controllo del flusso problematico come cicli possibilmente infiniti,
   ecc.;
 * vulnerabilità da buffer overflow;
 * implementazione o invocazione di macro pericolose;
 * violazione delle convenzioni per i nomi personalizzate.

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 695.1 kB2,320.0 kB [list of files]
arm64 621.0 kB2,312.0 kB [list of files]
armel 569.1 kB2,030.0 kB [list of files]
armhf 581.9 kB1,638.0 kB [list of files]
i386 747.6 kB2,703.0 kB [list of files]
mips64el 619.2 kB2,992.0 kB [list of files]
mipsel 617.0 kB2,813.0 kB [list of files]
ppc64el 704.2 kB2,912.0 kB [list of files]
s390x 620.1 kB2,452.0 kB [list of files]