Liberazione di cppcheck 2.7, un analizzatore di codice staticu per i linguaggi C++ è C

Una nova versione di l'analizzatore di codice staticu cppcheck 2.7 hè stata liberata, chì permette di identificà diverse classi d'errori in u codice in i linguaggi C è C++, cumpresu quandu si usa una sintassi non standard, tipica per i sistemi incrustati. Una cullizzioni di plugins hè furnita per mezu di quale cppcheck hè integratu cù diversi sistemi di sviluppu, integrazione cuntinua è teste, è furnisce ancu funzioni cum'è a verificazione di u rispettu di u codice cù u stile di codice. Per analizà u codice, pudete aduprà u vostru propiu parser o un parser esternu da Clang. Include ancu u script donate-cpu.py per furnisce risorse lucali per fà u travagliu di cullaburazione di revisione di codice per i pacchetti Debian. U codice fonte di u prugettu hè distribuitu sottu a licenza GPLv3.

U sviluppu di cppcheck hè focu annantu à l'identificazione di prublemi assuciati cù un cumpurtamentu indefinitu è ​​l'usu di disinni chì sò periculosi da un puntu di vista di sicurezza. U scopu hè ancu di minimizzà i falsi pusitivi. Trà i prublemi identificati: punters à l'uggetti inesistenti, divisioni per zero, overflows integer, operazioni sbagliate di shift bit, cunversione incorrecte, prublemi à travaglià cù memoria, usu incorrecte di STL, dereferences di puntatore nulla, l'usu di cuntrolli dopu l'accessu propiu. à u buffer, buffer overruns , usu di variàbili uninitialized.

In parallelu, a cumpagnia svedese Cppcheck Solutions AB sviluppa una versione estesa di Cppcheck Premium, chì furnisce l'analisi di a presenza di cicli infiniti, a ricerca mejorata di variabili uninitialized è l'analisi avanzata di buffer overflows.

In a nova versione:

  • Aghjunghje supportu per vede di cuntenituri - l'attributu di vista hè statu aghjuntu à l'etichetta di a biblioteca, chì indica chì a classa hè una vista. U codice di l'analisi di a vita hè stata aghjurnata per utilizà questu attributu quandu cercate cuntenituri pendenti;
  • cuntrolli migliurà;
  • L'errori accumulati sò stati curretti è i difetti in l'analizzatore sò stati eliminati.

Source: opennet.ru

Add a comment