Proiectul Cppcheck strânge fonduri pentru a implementa îmbunătățiri.

Dezvoltatorul Cppcheck (Daniel Marjamäki) va adăuga posibilitatea de a verifica software-ul în C și C++ analizorului său static.

Verificare software în Cppcheck

În modul „verificare”, Cppcheck va emite un avertisment dacă nu poate verifica dacă codul este sigur, dar acest lucru poate duce la zgomot (avertismente multiple).

Planuri de implementare

Modul de verificare va fi implementat secvenţial. În prima etapă, munca se va concentra pe împărțirea prin verificarea zero. Aceasta este o verificare relativ simplă. Fiecare funcție va fi testată separat. Se presupune că toate datele de intrare pot avea o valoare arbitrară. Verificările pentru alte tipuri de comportament nedefinit vor fi adăugate ulterior. Există, de asemenea, planuri de îmbunătățire a analizei C și C++.

Accelerarea dezvoltării

Scopul strângerii de fonduri pe Kickstarter este de a accelera dezvoltarea modului de verificare. Intenționăm să adăugăm această funcție oricum, dar munca poate dura mai mult dacă nu sunt strânse fonduri. Dacă fondurile vor fi strânse, Daniel va putea lua un concediu de la locul de muncă principal pentru a-și dedica pe deplin timpul de lucru proiectului cppcheck.

Obiectivele proiectului

• Eliminarea fals negative din testele de împărțire la zero în Juliet и ITC.

• Corectarea fals pozitive (vezi. BUG#9402).

• Îmbunătățirea parserului C++.

Sursa: linux.org.ru