Cppcheck projektas renka lėšas patobulinimams įgyvendinti.

Cppcheck kūrėjas (Daniel Marjamäki) prie savo statinio analizatoriaus ketina pridėti galimybę patikrinti programinę įrangą C ir C++ kalbomis.

Programinės įrangos patvirtinimas Cppcheck

„Patikrinimo“ režimu „Cppcheck“ pateiks įspėjimą, jei negalės patikrinti, ar kodas yra saugus, tačiau tai gali sukelti triukšmą (keli įspėjimai).

Įgyvendinimo planai

Patvirtinimo režimas bus įdiegtas nuosekliai. Pirmajame etape darbas bus sutelktas į padalijimą nuliniu patikrinimu. Tai gana paprastas patikrinimas. Kiekviena funkcija bus išbandyta atskirai. Daroma prielaida, kad visi įvesties duomenys gali turėti savavališką reikšmę. Kitų tipų neapibrėžtos elgsenos patikros bus pridėtos vėliau. Taip pat planuojama patobulinti C ir C++ analizavimą.

Paspartinti plėtrą

Lėšų rinkimo „Kickstarter“ tikslas yra paspartinti patvirtinimo režimo kūrimą. Šią funkciją vis tiek planuojame pridėti, tačiau, jei nebus surinkta lėšų, darbas gali užtrukti ilgiau. Jei lėšos bus surinktos, Danielis galės išeiti iš pagrindinio darbo atostogų, kad galėtų visapusiškai skirti savo darbo laiką cppcheck projektui.

Projekto tikslai

• Klaidingai neigiamų rezultatų pašalinimas iš padalijimo iš nulinio testo Džuljeta и ITC.

• Klaidingų teigiamų rezultatų taisymas (žr. KLAIDA Nr. 9402).

• C++ analizatoriaus tobulinimas.

Šaltinis: linux.org.ru