Projekt Cppcheck prikuplja sredstva za implementaciju poboljšanja.

Programer Cppchecka (Daniel Marjamäki) će svom statičkom analizatoru dodati mogućnost provjere softvera u C i C++.

Provjera softvera u Cppchecku

U načinu "provjere", 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 će se implementirati sekvencijalno. U prvoj fazi rad će se usredotočiti na dijeljenje nultom provjerom. Ovo je relativno jednostavna provjera. Svaka funkcija će se testirati zasebno. Pretpostavlja se da svi ulazni podaci mogu imati proizvoljnu vrijednost. Provjere za druge vrste nedefiniranog ponašanja bit će dodane kasnije. Također postoje planovi za poboljšanje C i C++ parsiranja.

Ubrzati razvoj

Cilj prikupljanja sredstava na Kickstarteru je ubrzati razvoj načina verifikacije. Svejedno planiramo dodati ovu značajku, ali posao može potrajati duže ako se ne prikupe sredstva. Ako se sredstva prikupe, Daniel će moći uzeti odsustvo s glavnog posla kako bi svoje radno vrijeme u potpunosti posvetio projektu cppcheck.

Ciljevi projekta

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

• Ispravljanje lažno pozitivnih rezultata (vidi. POGREŠKA#9402).

• Poboljšanje C++ parsera.

Izvor: linux.org.ru