🥇Cppcheck projekts vāc ziedojumus uzlabojumu īstenošanai

Cppcheck izstrādātājs (Daniel Marjamäki) plāno pievienot iespēju verifikācijai C un C++ programmām savā statiskajā analizatorā.

Programmatūras verifikācija Cppcheck

Verifikācijas režīmā Cppcheck izsniegs brīdinājumu, ja nevarēs apstiprināt, ka kods ir drošs, tomēr tas var radīt troksni (vairāku brīdinājumu gadījumus).

Ieviešanas plāni

Verifikācijas režīms tiks ieviests pakāpeniski. Pirmajā posmā darbs tiks koncentrēts uz ‘dalīšanu ar nulli’ pārbaudi. Tas ir salīdzinoši vienkāršs pārbaudes veids. Katru funkciju pārbaudīs atsevišķi. Pieprasījumi tiks pieņemti, ka visi ievades dati var būt jebkādi. Citu nelīdzsvarotu uzvedības veidu pārbaudes tiks pievienotas vēlāk. Tiks plānots uzlabot C un C++ sintakses analīzi.

Izstrādes paātrināšana

Līdzekļu vākšanas mērķis Kickstarter ir paātrināt verifikācijas režīma izstrādi. Šo iespēju plānots pievienot jebkurā gadījumā, bet darbs var prasīt vairāk laika, ja līdzekļi netiks savākti. Ja līdzekļi tiks savākti, tad Daniel varēs atpūsties no pamatdarba, lai pilnībā veltītu savu darba laiku cppcheck projektam.