{"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":"Uscita 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 di codice cppcheck 2.6, in grado di rilevare diverse categorie di errori nel codice C e C++, anche quando si utilizza una sintassi non standard tipica dei sistemi embedded. \u00c8 fornita una collezione di plugin che garantiscono l'integrazione di cppcheck con vari sistemi di sviluppo, integrazione continua e testing, oltre a funzionalit\u00e0 come il controllo della conformit\u00e0 del codice allo stile di codifica. Pu\u00f2 essere utilizzato sia un parser interno che un parser esterno di Clang per l'analisi del codice. Include anche uno script donate-cpu.py per fornire risorse locali per eseguire lavori di revisione collaborativa sul codice dei pacchetti Debian. I sorgenti del progetto sono distribuiti sotto licenza GPLv3. <\/p>\n
Lo sviluppo di cppcheck si concentra sull'identificazione di problemi legati a comportamenti imprevisti e sull'uso di costrutti pericolosi dal punto di vista della sicurezza. L'obiettivo \u00e8 anche ridurre al minimo i falsi positivi. Tra i problemi identificati ci sono: puntatori a oggetti non esistenti, divisioni per zero, overflow di interi, operazioni di shift dei bit non corrette, conversioni errate, problemi nella gestione della memoria, uso incorretto della STL, dereferenziazione di puntatori nulli, controlli effettuati dopo l'effettivo accesso al buffer, superamento dei limiti dei buffer, utilizzo di variabili non inizializzate. <\/p>\n
Nella nuova versione: <\/p>\n
\n
Nel nucleo 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 comportamenti imprevisti;\n
il valore confrontato \u00e8 al di fuori della rappresentazione dei valori di tipo;\n
l'ottimizzazione della copia non \u00e8 applicata per return std::move(local);\n
il file non pu\u00f2 essere aperto contemporaneamente per lettura e scrittura in diversi stream; <\/ul>\n
per le piattaforme Unix \u00e8 stata aggiunta la supporto per l'output di messaggi diagnostici in diversi colori;\n
\u00e8 stata aggiunta un'analisi simbolica per ValueFlow. Viene utilizzata una semplice delta per calcolare le differenze tra due variabili sconosciute;\n
le regole utilizzate per l'elenco dei token «define» possono corrispondere anche a #include;\n
il tag di libreria <function> pu\u00f2 ora contenere il tag <container>, e quindi le funzioni free che possono accettare tali contenitori come std::size, std::empty, std::begin, std::end, ecc. possono indicare yeld o action per i contenitori;\n
il tag di libreria <smart-pointer> pu\u00f2 ora contenere il tag <unique> per puntatori intelligenti che hanno un possesso esclusivo (unique ownership). Viene ora emesso un avviso su riferimenti «appesi» per questo tipo di puntatori intelligenti;\n
risolti problemi con la gestione del parametro —cppcheck-build-dir;\n
htmlreport ora pu\u00f2 visualizzare informazioni sull'autore (utilizzando git blame);\n
ampliata la segnalazione di avvisi su variabili che non sono costanti, ma potrebbero esserlo;\n
risolti errori e problemi accumulati nell'analizzatore. <\/ul>\n