È stata rilasciata una nuova versione dell'analizzatore statatico di codice cppcheck 2.7, che consente di identificare diversi tipi di errori nel codice in C e C++, compreso l'uso di una sintassi non standard tipica dei sistemi embedded. È fornita una collezione di plugin che garantiscono l'integrazione di cppcheck con vari sistemi di sviluppo, integrazione continua e testing, oltre a offrire funzionalità come la verifica della conformità del codice allo stile di codifica. Può essere utilizzato un parser interno o un parser esterno di Clang per analizzare il codice. Include anche uno script donate-cpu.py per fornire risorse locali per eseguire attività di revisione del codice dei pacchetti Debian. I sorgenti del progetto sono distribuiti sotto licenza GPLv3.
Lo sviluppo di cppcheck è incentrato sull'individuazione di problemi legati a comportamenti indefiniti e all'uso di costrutti pericolosi dal punto di vista della sicurezza. L'obiettivo è anche ridurre al minimo i falsi positivi. Tra i problemi rilevati: puntatori a oggetti inesistenti, divisioni per zero, overflow interi, operazioni di shift bit errate, conversioni non valide, problemi di gestione della memoria, uso scorretto della STL, dereferenziazione di puntatori nulli, controlli effettuati dopo l'effettivo accesso al buffer, accesso oltre i limiti dei buffer, utilizzo di variabili non inizializzate.
Parallelamente, l'azienda svedese Cppcheck Solutions AB sta sviluppando una versione avanzata di Cppcheck Premium, che offre analisi della presenza di cicli infiniti, migliorata individuazione di variabili non inizializzate e un'analisi approfondita dell'overflow dei buffer.
Nella nuova versione:
- Aggiunta la supporto per le viste (view) dei contenitori — all'interno del tag della libreria è stato aggiunto l'attributo view, che indica che la classe è una vista. Il codice di analisi del ciclo di vita è stato aggiornato per utilizzare questo attributo nella ricerca dei contenitori "appesi";
- Migliorati i controlli;
- Corrette le anomalie accumulate e risolti i difetti dell'analizzatore.
Fonte: opennet.ru
