{"id":101563,"date":"2021-10-07T16:22:54","date_gmt":"2021-10-07T14:22:54","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s"},"modified":"2021-10-07T16:22:54","modified_gmt":"2021-10-07T14:22:54","slug":"vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"Rilascio di cppcheck 2.6, analizzatore statico del codice per i linguaggi C++ e C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
\u00c8 stata rilasciata una nuova versione dell'analizzatore statico del codice cppcheck 2.6, che consente di identificare diverse classi di errori nel codice nei linguaggi C e C++, incluso l'utilizzo di sintassi non standard, tipica dei sistemi embedded. \u00c8 disponibile una collezione di plugin, attraverso i quali \u00e8 garantita l'integrazione di cppcheck con vari sistemi di sviluppo, integrazione continua e testing, oltre a fornire funzionalit\u00e0 come il controllo della conformit\u00e0 del codice allo stile di codifica. Per l'analisi del codice pu\u00f2 essere utilizzato sia il parser interno che un parser esterno di Clang. \u00c8 incluso anche uno script donate-cpu.py per fornire risorse locali per il lavoro di revisione collettiva del codice dei pacchetti Debian. I codici sorgente del progetto sono distribuiti sotto licenza GPLv3. <\/p>\n
Lo sviluppo di cppcheck \u00e8 incentrato sull'identificazione di problemi legati a comportamenti indefiniti e all'uso di costrutti pericolosi dal punto di vista della sicurezza. L'obiettivo \u00e8 anche ridurre al minimo i falsi positivi. Tra i problemi identificati: puntatori a oggetti inesistenti, divisioni per zero, overflow interi, operazioni errate di shift bit, conversioni errate, problemi nella gestione della memoria, uso errato di STL, dereferenziazione di puntatori nulli, applicazione di controlli dopo il reale accesso al buffer, accesso oltre i limiti dei buffer, utilizzo di variabili non inizializzate. <\/p>\n
Nella nuova versione: <\/p>\n
\n
Nel core dell'analizzatore sono state aggiunte le seguenti verifiche:\n
\n
assenza dell'operatore return nel corpo della funzione;\n
scritture di dati sovrapposti, definizione di comportamento indefinito;\n
il valore confrontato \u00e8 al di fuori della rappresentazione dei valori del tipo;\n
l'ottimizzazione della copia non viene applicata per return std::move(local);\n
il file non pu\u00f2 essere aperto simultaneamente per lettura e scrittura in flussi diversi; <\/ul>\n
per le piattaforme Unix \u00e8 stata aggiunta la supporto per l'output di messaggi diagnostici di diversi colori;\n
aggiunta analisi simbolica per ValueFlow. Viene utilizzato un semplice delta per calcolare le differenze tra due variabili sconosciute;\n
Le regole utilizzate per l'elenco dei token \u00abdefine\u00bb possono anche corrispondere a #include;\n
Il tag di libreria <function> ora pu\u00f2 contenere il tag <container>, e di conseguenza le funzioni free, che possono accettare tali contenitori come std::size, std::empty, std::begin, std::end, ecc., possono specificare yeld o action per i contenitori;\n
Il tag di libreria pu\u00f2 ora contenere il tag per i puntatori intelligenti che hanno una propriet\u00e0 esclusiva (unique ownership). Ora viene emesso un avviso per i riferimenti \u00abappesi\u00bb a questo tipo di puntatori intelligenti;\n
Risolti i problemi con l'elaborazione del parametro \u2014cppcheck-build-dir;\n
htmlreport ora pu\u00f2 fornire informazioni sull'autore (tramite git blame);\n
Espanso l'emissione di avvisi su variabili che non sono costanti, ma potrebbero esserlo;\n
Corrette le errori e le mancanze accumulate dell'analizzatore. <\/ul>\n