Dezvoltatorul Cppcheck (Daniel Marjamäki) intenționează să adauge funcționalitatea de verificare a software-ului în C și C++ în analizorul său static.
Verificarea software-ului în Cppcheck
În modul „verificare”, Cppcheck va emite un avertisment dacă nu reușește să confirme că codul este sigur, totuși, asta poate duce la zgomot (multe avertismente).
Planurile de implementare
Modul de verificare va fi implementat treptat. În prima etapă, munca se va concentra pe verificarea „împărțirea la zero”. Aceasta este o verificare relativ simplă. Fiecare funcție va fi verificată separat. Se presupune că toate datele de intrare pot avea valori arbitrare. Verificările pentru alte tipuri de comportament nedefinit vor fi adăugate ulterior. De asemenea, se preconizează îmbunătățirea analizei sintactice pentru C și C++.
Accelerarea dezvoltării
Obiectivul strângerii de fonduri pe Kickstarter este de a accelera dezvoltarea modului de verificare. Această funcționalitate va fi adăugată în orice caz, dar munca poate dura mai mult timp dacă fondurile nu sunt strânse. Dacă fondurile vor fi strânse, atunci Daniel va putea lua o pauză de la munca sa principală pentru a-și dedica întregul timp de lucru proiectului cppcheck.
Obiectivele proiectului
Îmbunătățirea analizorului C++.
Sursa: linux.org.ru
