all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: splint  ]

Package: splint-data (3.1.2.dfsg1-2)

Links for splint-data

Screenshot

Debian Resources:

Download Source Package splint:

Maintainer:

External Resources:

Similar packages:

strumento per controllo statico di bug in programmi C - file dei dati

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.

Questo pacchetto contiene i file dei dati che sono necessari per usare splint.

Other Packages Related to splint-data

  • depends
  • recommends
  • suggests
  • enhances

Download splint-data

Download for all available architectures
Architecture Package Size Installed Size Files
all 177.8 kB1,104.0 kB [list of files]