Projekt Cppcheck prikuplja sredstva za implementaciju poboljšanja.

Daniel Marjamäki, programer Cppchecka, planira dodati mogućnost provjere C i C++ softvera svom statičkom analizatoru.

Verifikacija softvera u Cppchecku

U načinu rada "provjera", Cppcheck će izdati upozorenje ako ne može provjeriti je li kod siguran, ali to može rezultirati šumom (višestruka upozorenja).

Planovi provedbe

Način provjere implementirat će se postupno. U početku će se rad usredotočiti na provjeru "dijeljenja s nulom". To je relativno jednostavna provjera. Svaka funkcija provjeravat će se zasebno, uz pretpostavku da svi ulazni podaci mogu imati proizvoljne vrijednosti. Provjere za druge vrste nedefiniranog ponašanja bit će dodane kasnije. Također su planirana poboljšanja analize sintakse C i C++.

Ubrzavanje razvoja

Cilj Kickstarter crowdfunding kampanje je ubrzati razvoj načina verifikacije. Planirano je da se ova značajka doda u svakom slučaju, ali rad bi mogao potrajati dulje ako se sredstva ne prikupe. Ako se sredstva prikupe, Daniel će moći uzeti slobodno vrijeme s posla kako bi se u potpunosti posvetio projektu cppcheck.

Ciljevi projekta

• Uklanjanje lažno negativnih rezultata u testovima dijeljenja s nulom Julija и ITC.

• Ispravak za lažno pozitivne rezultate (vidi GREŠKA#9402).

• Poboljšanje C++ analizatora.

Izvor: linux.org.ru