Cppcheck-projektet samlar in pengar för att genomföra förbättringar.

Utvecklaren av Cppcheck (Daniel Marjamäki) kommer att lägga till möjligheten att verifiera mjukvara i C och C++ till sin statiska analysator.

Programverifiering i Cppcheck

I "verifieringsläge" kommer Cppcheck att utfärda en varning om den inte kan verifiera att koden är säker, men detta kan resultera i brus (flera varningar).

Genomförandeplaner

Verifieringsläget kommer att implementeras sekventiellt. I det första skedet kommer arbetet att fokusera på uppdelningen genom nollkontroll. Detta är en relativt enkel kontroll. Varje funktion kommer att testas separat. Det antas att all indata kan ha ett godtyckligt värde. Kontroller för andra typer av odefinierat beteende kommer att läggas till senare. Det finns också planer på att förbättra C- och C++-tolkningen.

Utvecklingsacceleration

Målet med insamlingen på Kickstarter är att påskynda utvecklingen av verifieringsläget. Vi planerar att lägga till den här funktionen ändå, men arbetet kan ta längre tid om pengar inte samlas in. Om medlen samlas in kommer Daniel att kunna ta tjänstledigt från sitt huvudsakliga jobb för att helt ägna sin arbetstid åt cppcheck-projektet.

Projektmål

• Eliminera falska negativa från division med noll tester in Juliet и ITC.

• Korrigering av falska positiva resultat (se. BUG#9402).

• Förbättring av C++-parsern.

Källa: linux.org.ru