all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  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:

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 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]