Package: splint (1:3.1.2+dfsg-5)
Links for splint
Debian Resources:
Download Source Package splint:
Maintainer:
External Resources:
- Homepage [www.splint.org]
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.
Other Packages Related to splint
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.7) [not amd64, arm64, ppc64el]
-
- dep: libfl2 (>= 2.5.33)
- libreria condivisa per flex (veloce generatore di analizzatori lessicali)
-
- dep: splint-data (= 1:3.1.2+dfsg-5)
- strumento per controllo statico di bug in programmi C - file dei dati
-
- sug: splint-doc-html
- strumento per controllo statico di bug in programmi C - documentazione HTML
Download splint
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 695.1 kB | 2,320.0 kB | [list of files] |
arm64 | 621.0 kB | 2,312.0 kB | [list of files] |
armel | 569.1 kB | 2,030.0 kB | [list of files] |
armhf | 581.9 kB | 1,638.0 kB | [list of files] |
i386 | 747.6 kB | 2,703.0 kB | [list of files] |
mips64el | 619.2 kB | 2,992.0 kB | [list of files] |
mipsel | 617.0 kB | 2,813.0 kB | [list of files] |
ppc64el | 704.2 kB | 2,912.0 kB | [list of files] |
s390x | 620.1 kB | 2,452.0 kB | [list of files] |