nuova versione dell'analizzatore statico open source , che consente di rilevare diverse classi di errori nel codice nei linguaggi C e C++, anche quando si utilizza una sintassi non standard tipica dei sistemi embedded. È fornita una collezione di plugin che assicurano l'integrazione di cppcheck con vari sistemi di sviluppo, integrazione continua e testing, oltre a offrire funzionalità come della conformità del codice allo stile di codifica. Può essere utilizzato sia un parser interno che un parser esterno di Clang per l'analisi del codice. È incluso anche uno script donate-cpu.py per fornire risorse locali per l'esecuzione della revisione collaborativa del codice nei pacchetti Debian. I codici sorgente del progetto sott Licenza GPLv3.
Lo sviluppo di cppcheck è focalizzato sull'individuazione di problemi legati a comportamenti indefiniti e all'uso di costrutti pericolosi dal punto di vista della sicurezza. L'obiettivo è anche ridurre i falsi positivi. Tra Problemi: puntatori a oggetti non esistenti, divisioni per zero, overflow interi, operazioni di shift bit non valide, conversioni errate, problemi di gestione della memoria, uso improprio della STL, dereferenziazione di puntatori nulli, applicazione di controlli dopo l'effettivo accesso al buffer, superamento dei limiti dei buffer, utilizzo di variabili non inizializzate.
Fonte: opennet.ru
