Noua versiune a cppcheck 2.6 a fost deja lansată și acestea sunt noutățile sale

Eliberarea versiunea analizorului de cod static cppcheck 2.6vă permite să detectați diferite tipuri de erori în codul C și C++, chiar și atunci când se utilizează sintaxă non-standard tipică sistemelor încorporate.

Este furnizată o colecție de pluginuri prin care se asigură integrarea cppcheck cu diverse sisteme de dezvoltare, integrare continuă și testare, precum și caracteristici precum verificarea conformității codului cu stilul de codare.

Pentru a analiza codul, puteți utiliza atât parserul propriu, cât și un analizor Clang extern. Include, de asemenea, un script donate-cpu.py pentru a oferi resurse locale pentru a efectua lucrări de evaluare a codului în colaborare pe pachetele Debian.

Dezvoltarea cppcheck se concentrează pe identificarea problemelor asociate cu comportamentul nedefinit și utilizarea unor constructe periculoase din punct de vedere al securității.

Scopul este, de asemenea, de a minimiza falsele pozitive.. Printre problemele identificate: pointeri către obiecte inexistente, împărțirea cu zero, depășiri întregi, operații incorecte de inversare a biților, conversii incorecte, probleme cu memoria, utilizarea incorectă a STL, dereferențierea pointerilor nul, aplicarea verificărilor după un acces real la un buffer, depășirea limitelor tamponului, folosind variabile neinițializate.

Principalele caracteristici noi ale cppcheck 2.6

În această nouă versiune sDiverse verificări au fost adăugate la miezul analizorului, printre care cele mai notabile sunt verificarea absenței unei instrucțiuni return în corpul funcției, precum și verificarea suprapunerii înregistrărilor de date, definiții de comportament nedefinite și, de asemenea, verificarea valorii comparate în afara intervalului tipului. reprezentarea valorii.

O altă noutate care iese în evidență este optimizarea copierii nu se aplică pentru returnarea std::move (local);, plus suport adăugat pentru afișarea mesajelor de diagnostic în diferite culori pentru platformele Unix și pentru eticheta bibliotecii poate conține acum o etichetă pentru pointerii inteligente care au o singură proprietate. Avertismentul de legătură suspendată este acum emisă pentru aceste tipuri de pointere inteligente.

În plus, Controalele Misra C 2012 au fost pe deplin implementate, inclusiv amendamentul 1 și amendamentul 2, cu excepția regulilor 1.1, 1.2 și 17.3. Compilatorul trebuie să efectueze verificările 1.1 și 1.2. Un compilator precum GCC poate verifica 17.3.

Dintre celelalte schimbări care ies în evidență a acestei noi versiuni:

  • Fișierul nu poate fi deschis simultan pentru citire și scriere în secvențe diferite;
  • S-a adăugat analiză simbolică pentru ValueFlow. O delta simplă este utilizată atunci când se calculează diferența dintre două variabile necunoscute;
  • Regulile folosite pentru lista de jetoane „definiți” pot, de asemenea, să se potrivească cu #include;
  • Eticheta bibliotecii poate conține acum o etichetă și astfel funcții gratuite care pot accepta containere precum std::size, std::empty, std::begin, std::end etc. puteți specifica randamentul sau acțiunea pentru containere;
  • S-au rezolvat problemele legate de gestionarea parametrului –cppcheck-build-dir;
    htmlreport poate imprima acum informații despre autor (folosind git blame);
  • Emiterea extinsă de avertismente despre variabile care nu sunt constante, dar pot deveni constante;
  • Erorile și deficiențele acumulate ale analizorului au fost corectate.

În sfârșit, dacă sunteți interesat să aflați mai multe despre această nouă versiune, vă puteți consulta detaliile din următorul link.

Cum se instalează cppcheck pe Linux?

Pentru cei care sunt interesați să poată instala cppcheck pe distribuția lor Linux, pot urma instrucțiunile pe care le împărtășim mai jos.

Dacă sunteți utilizator Debian sau orice altă distribuție bazată sau derivată din aceasta, cum ar fi Deepin sau Ubuntu, puteți instala direct de pe terminal, tastând următoarea comandă:

sudo apt-get install cppcheck

Acum, pentru cei care sunt utilizatori Fedora și derivate ale acestuia, puteți efectua instalarea tastând următoarea comandă:

sudo yum instalar cppcheck

Sau pentru cei care sunt utilizatori Arch Linux sau orice alt derivat al acestuia, puteți instala cu următoarea comandă:

sudo pacman -S cppcheck


Lasă comentariul tău

Adresa ta de email nu va fi publicată. Câmpurile obligatorii sunt marcate cu *

*

*

  1. Responsabil pentru date: Miguel Ángel Gatón
  2. Scopul datelor: Control SPAM, gestionarea comentariilor.
  3. Legitimare: consimțământul dvs.
  4. Comunicarea datelor: datele nu vor fi comunicate terților decât prin obligație legală.
  5. Stocarea datelor: bază de date găzduită de Occentus Networks (UE)
  6. Drepturi: în orice moment vă puteți limita, recupera și șterge informațiile.