Cppcheck-projektet samlar in medel för förbättringar

Utvecklaren Cppcheck (Daniel Marjamäki) planerar att lägga till möjlighet till verifiering av programvara i C och C++ i sin statiska analysator.

Verifiering av programvara i Cppcheck

I läget "verifiering" kommer Cppcheck att ge en varning om det inte går att bekräfta att koden är säker, men detta kan leda till brus (flera varningar).

Implementeringsplaner

Verifieringsläget kommer att implementeras stegvis. I det första steget kommer arbetet att koncentreras på att kontrollera "division med noll". Detta är en relativt enkel kontroll. Varje funktion kommer att kontrolleras separat. Det antas att alla inmatningar kan ha ett godtyckligt värde. Kontroller av andra typer av odefinierat beteende kommer att läggas till senare. Det planeras också att förbättra syntaktisk analys för C och C++.

Accelerera utvecklingen

Målet med insamlingen på Kickstarter är att påskynda utvecklingen av verifieringsläget. Denna funktion kommer att läggas till oavsett, men arbetet kan ta längre tid om medlen inte samlas in. Om medlen däremot samlas in kan Daniel ta ledigt från sitt huvudarbete för att helt ägna sin arbetstid åt projektet cppcheck.

Projektmål

• Eliminera falskt negativa resultat från tester av division med noll i Juliet och ITC.

• Korrigera falskt positiva resultat (se. BUG#9402).

• Förbättra C++-analysatorn.

Källa: linux.org.ru