Il rilascio di la versione dell'analizzatore di codice statico cppcheck 2.6, che permette di rilevare vari tipi di errori nel codice C e C++anche quando si utilizza una sintassi non standard tipica dei sistemi embedded.
Viene fornita una raccolta di plugin attraverso la quale viene fornita l'integrazione di cppcheck con vari sistemi di sviluppo, integrazione continua e test, nonché funzionalità come il controllo della conformità del codice con lo stile di codifica.
Per analizzare il codice, puoi usare sia il tuo parser che un parser Clang esterno. Include anche uno script donate-cpu.py per fornire risorse locali per il lavoro collaborativo di revisione del codice per i pacchetti Debian.
Lo sviluppo di cppcheck si concentra sull'identificazione dei problemi associati al comportamento indefinito e l'uso di costrutti pericolosi dal punto di vista della sicurezza.
L'obiettivo è anche quello di ridurre al minimo i falsi positivi. Tra i problemi individuati: puntatori a oggetti inesistenti, divisione per zero, integer overflow, operazioni di bit-shifting errate, conversioni errate, problemi di memoria, uso errato di STL, dereferenziazione di puntatori nulli, applicazione di controlli dopo un accesso reale a un buffer, superando i limiti del buffer, utilizzando variabili non inizializzate.
Principali nuove funzionalità di cppcheck 2.6
In questa nuova versione sAbbiamo aggiunto vari controlli al kernel del parser, tra cui spicca la verifica dell'assenza di una dichiarazione di ritorno nel corpo della funzione, nonché quella di record di dati sovrapposti, definizioni di comportamento non definite e anche la verifica per il valore oggetto di confronto è fuori dall'intervallo della rappresentazione del valore del tipo.
Un'altra novità che spicca è il l'ottimizzazione della copia non si applica al ritorno std :: move (local);, inoltre è stato aggiunto il supporto per la visualizzazione dei messaggi diagnostici in diversi colori per le piattaforme Unix e che il tag della libreria ora può contenere un tag per i puntatori intelligenti che hanno proprietà univoche. L'avviso di collegamento sospeso viene ora emesso per questi tipi di puntatori intelligenti.
Inoltre, i controlli di Misra C 2012 sono stati pienamente attuati, inclusi l'emendamento 1 e l'emendamento 2, ad eccezione delle regole 1.1, 1.2 e 17.3. Il compilatore dovrebbe eseguire i controlli 1.1 e 1.2. Un compilatore come GCC può controllare 17.3.
Tra gli altri cambiamenti che si distinguono di questa nuova versione:
- Il file non può essere aperto contemporaneamente per leggere e scrivere in flussi diversi;
- Aggiunta analisi simbolica per ValueFlow. Un semplice delta viene utilizzato quando si calcola la differenza tra due variabili sconosciute;
- Le regole utilizzate per l'elenco dei token "definisci" possono anche corrispondere a #include;
- Il tag della biblioteca ora può contenere un tag e quindi funzioni libere che possono accettare contenitori come std :: size, std :: vuoto, std :: inizio, std :: fine, ecc. è possibile specificare resa o azione per i contenitori;
- Risolti problemi con la gestione del parametro –cppcheck-build-dir;
htmlreport ora può stampare informazioni sull'autore (usando git colpa); - Emissione estesa di avvisi su variabili che non sono costanti, ma possono diventare costanti;
- I bug accumulati e le carenze dell'analizzatore sono stati corretti.
Infine, se sei interessato a saperne di più su questa nuova versione, puoi consultare i dettagli nel seguente link.
Come installare cppcheck su Linux?
Per coloro che sono interessati a poter installare cppcheck sulla propria distribuzione Linux, possono seguire le istruzioni che condividiamo di seguito.
Se sei un utente Debian o qualsiasi altra distribuzione basata o derivata da essa come Deepin o Ubuntu, puoi installare direttamente dal terminale digitando il seguente comando:
sudo apt-get install cppcheck
Ora per coloro che sono utenti Fedora e suoi derivati, possono eseguire l'installazione digitando il seguente comando:
sudo yum instalar cppcheck
Oppure per coloro che sono utenti Arch Linux o qualsiasi altro derivato di esso, possono installare con il seguente comando:
sudo pacman -S cppcheck