{"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\/novosti-interneta\/vypusk-cppcheck-2-7-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"Rilascio di cppcheck 2.7, 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 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. \u00c8 fornita una collezione di plugin che garantiscono l'integrazione di cppcheck con vari sistemi di sviluppo, integrazione continua e testing, oltre a offrire funzionalit\u00e0 come la verifica della conformit\u00e0 del codice allo stile di codifica. Pu\u00f2 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\u00e0 di revisione del codice dei pacchetti Debian. I sorgenti del progetto sono distribuiti sotto licenza GPLv3. <\/p>\n

Lo sviluppo di cppcheck \u00e8 incentrato sull'individuazione 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 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. <\/p>\n

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. <\/p>\n

Nella nuova versione: <\/p>\n