Eliberarea analizorului static cppcheck 2.1

Disponibil noua versiune a analizorului static gratuit cppcheck 2.1, care vă permite să identificați diferite clase de erori în cod în limbajele C și C++, inclusiv atunci când utilizați sintaxa non-standard, tipică pentru sistemele încorporate. Este furnizată o colecție de pluginuri prin care cppcheck este integrat cu diverse sisteme de dezvoltare, integrare continuă și testare și oferă, de asemenea, caracteristici precum проверка conformitatea codului cu stilul de formatare a codului. Pentru a analiza codul, puteți utiliza fie propriul dvs. parser, fie un parser extern de la Clang. Include, de asemenea, scriptul donate-cpu.py pentru a oferi resurse locale pentru a face munca de colaborare de revizuire a codului pentru pachetele Debian. Sursele proiectului distribuit de licențiat conform GPLv3.

Dezvoltarea cppcheck este axată pe identificarea problemelor asociate cu comportamentul nedefinit și utilizarea modelelor care sunt periculoase din punct de vedere al siguranței. Scopul este, de asemenea, de a minimiza falsele pozitive. Printre identificat probleme: pointeri către obiecte inexistente, diviziuni cu zero, depășiri întregi, operații incorecte de deplasare a biților, conversii incorecte, probleme la lucrul cu memoria, utilizarea incorectă a STL, dereferențierea pointerilor nuli, aplicarea verificărilor după accesul efectiv la buffer, trecerea dincolo de limitele tamponului, folosind variabile neinițializate.

Sursa: opennet.ru

Adauga un comentariu