{"id":103247,"date":"2022-02-08T15:36:53","date_gmt":"2022-02-08T13:36:53","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-cppcheck-2-7-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s"},"modified":"2022-02-08T15:36:53","modified_gmt":"2022-02-08T13:36:53","slug":"vypusk-cppcheck-2-7-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/vypusk-cppcheck-2-7-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"Rilascio di cppcheck 2.7, l'analizzatore statico di 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.7, che consente di rilevare vari tipi di errori nel codice scritto nei linguaggi C e C++, anche quando si utilizza una sintassi non standard, tipica dei sistemi embedded. \u00c8 fornita una collezione di plugin, attraverso i quali viene 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 quello esterno di Clang. Include anche lo script donate-cpu.py per fornire risorse locali per l'esecuzione di controlli collaborativi del codice dei pacchetti Debian. I testi sorgenti del progetto sono distribuiti sotto licenza GPLv3. <\/p>\n

Lo sviluppo di cppcheck \u00e8 focalizzato sull'individuazione di problemi legati a comportamenti indeterminati e all'uso di costrutti pericolosi dal punto di vista della sicurezza. L'obiettivo \u00e8 anche minimizzare i falsi positivi. Tra i problemi rilevati ci sono: puntatori a oggetti non esistenti, divisioni per zero, overflow interi, operazioni di shift bit scorrette, conversioni errate, problemi di gestione della memoria, uso non corretto di STL, dereferenziazione di puntatori nulli, controlli effettuati dopo l'accesso effettivo al buffer, accessi al di fuori dei limiti dei buffer, utilizzo di variabili non inizializzate. <\/p>\n

Parallelamente, la societ\u00e0 svedese Cppcheck Solutions AB sta sviluppando una versione avanzata di Cppcheck Premium, che fornisce un'analisi della presenza di cicli infiniti, una ricerca migliorata delle variabili non inizializzate e un'analisi estesa dell'overflow dei buffer. <\/p>\n

Nella nuova versione: <\/p>\n