Cppcheck projektā tiek vākti līdzekļi uzlabojumu īstenošanai.

Cppcheck izstrādātājs (Daniels Marjamäki) savam statiskajam analizatoram pievienos iespēju pārbaudīt programmatūru C un C++ valodās.

Programmatūras pārbaude programmā Cppcheck

Pārbaudes režīmā Cppcheck izdos brīdinājumu, ja nevar pārbaudīt, vai kods ir drošs, taču tas var radīt troksni (vairāki brīdinājumi).

Īstenošanas plāni

Verifikācijas režīms tiks ieviests secīgi. Pirmajā posmā darbs koncentrēsies uz sadalīšanu ar nulles pārbaudi. Šī ir salīdzinoši vienkārša pārbaude. Katra funkcija tiks pārbaudīta atsevišķi. Tiek pieņemts, ka visiem ievades datiem var būt patvaļīga vērtība. Pārbaudes cita veida nedefinētai darbībai tiks pievienotas vēlāk. Ir arī plāni uzlabot C un C++ parsēšanu.

Paātrināt attīstību

Kickstarter līdzekļu vākšanas mērķis ir paātrināt verifikācijas režīma izstrādi. Mēs plānojam šo funkciju pievienot jebkurā gadījumā, taču darbs var aizņemt ilgāku laiku, ja netiks piesaistīti līdzekļi. Ja līdzekļi tiks savākti, Daniels varēs izmantot pamatdarba atvaļinājumu, lai pilnībā veltītu savu darba laiku cppcheck projektam.

Projekta mērķi

• Kļūdaini negatīvu rezultātu izslēgšana no dalīšanas ar nulles pārbaudēm Juliet и ITC.

• Viltus pozitīvu rezultātu korekcija (sk. BUG#9402).

• C++ parsētāja uzlabošana.

Avots: linux.org.ru