2009-12-17 10 views

risposta

11

Se non ricordo male, è quello che fa lint.

+1

Lint analizza molto più della semplice sintassi, ma cerca anche costrutti di pesce come l'utilizzo di una variabile prima di impostarli. –

+3

Così fa Perl :: Critico. – tsee

13

C'è un programma open source chiamato Splint:

Splint è uno strumento per il controllo statico programmi in C per la vulnerabilità di sicurezza e codifica errori. Con il minimo sforzo, Splint può essere utilizzato come un prodotto migliore. Se viene investito ulteriore sforzo aggiungendo annotazioni ai programmi, Splint può eseguire un controllo più forte di quello che può essere fatto con qualsiasi lint standard.

17

programmi C correlati:

  • BLAST (Berkeley Pigro astrazione Software Strumento di verifica) - un model checker software per programmi C basate sull'astrazione pigro.
  • Clang - Un compilatore che include un analizzatore statico.

  • Frama-C - Un quadro statico analisi per C.

  • Sparse - Uno strumento progettato per trovare errori nel kernel di Linux.

  • Splint - Una versione open source evoluta di Lint (linguaggio C).

List of tools for Static Code Analysis for C (more than the list above)

5

E 'un po' fuori tema, ma in materia di analizzatori di codice di valore per C è valgrind per la cattura di gestione della memoria poco raccomandabile.

Problemi correlati