Cppcheck projekat prikuplja sredstva za implementaciju poboljšanja.

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

Verifikacija softvera u Cppcheck-u

U modu "verifikacije", Cppcheck će izdati upozorenje ako ne može provjeriti je li kod siguran, ali to može rezultirati bukom (više upozorenja).

Planovi implementacije

Način provjere će se implementirati sekvencijalno. U prvoj fazi, rad će se koncentrirati na podjelu nultom provjerom. Ovo je relativno jednostavna provjera. Svaka funkcija će se posebno testirati. Pretpostavlja se da svi ulazni podaci mogu imati proizvoljnu vrijednost. Provjere za druge vrste nedefiniranog ponašanja će biti dodane kasnije. Postoje i planovi za poboljšanje raščlanjivanja C i C++.

Ubrzajte razvoj

Cilj prikupljanja sredstava na Kickstarteru je ubrzati razvoj moda verifikacije. Svejedno planiramo dodati ovu funkciju, ali posao može potrajati duže ako se sredstva ne prikupe. Ako se sredstva prikupe, Daniel će moći da uzme odsustvo sa svog glavnog posla kako bi svoje radno vrijeme u potpunosti posvetio cppcheck projektu.

Ciljevi projekta

• Uklanjanje lažnih negativnih rezultata dijeljenja nultim testovima Juliet и ITC.

• Ispravljanje lažnih pozitivnih rezultata (vidi. BUG#9402).

• Poboljšanje C++ parsera.

izvor: linux.org.ru