Projekti Cppcheck po mbledh fonde për të zbatuar përmirësime.

Zhvilluesi i Cppcheck (Daniel Marjamäki) do të shtojë aftësinë për të verifikuar softuerin në C dhe C++ në analizuesin e tij statik.

Verifikimi i softuerit në Cppcheck

Në modalitetin "verifikimi", Cppcheck do të lëshojë një paralajmërim nëse nuk mund të verifikojë që kodi është i sigurt, por kjo mund të rezultojë në zhurmë (paralajmërime të shumta).

Planet e zbatimit

Mënyra e verifikimit do të zbatohet në mënyrë sekuenciale. Në fazën e parë, puna do të fokusohet në ndarjen me kontrollin zero. Ky është një kontroll relativisht i thjeshtë. Çdo funksion do të testohet veçmas. Supozohet se të gjitha të dhënat hyrëse mund të kenë një vlerë arbitrare. Kontrollet për lloje të tjera sjelljesh të papërcaktuara do të shtohen më vonë. Ka gjithashtu plane për të përmirësuar analizën C dhe C++.

Përshpejtoni zhvillimin

Qëllimi i mbledhjes së fondeve në Kickstarter është të përshpejtojë zhvillimin e mënyrës së verifikimit. Ne planifikojmë ta shtojmë këtë veçori gjithsesi, por puna mund të zgjasë më shumë nëse nuk mblidhen fondet. Nëse fondet mblidhen, Danieli do të jetë në gjendje të marrë një pushim nga puna e tij kryesore në mënyrë që t'i kushtojë plotësisht kohën e tij të punës projektit cppcheck.

Qëllimet e projektit

• Eliminimi i negativëve të rremë nga pjesëtimi me testet zero në Juliet и ITC.

• Korrigjimi i rezultateve false (shih. BUG#9402).

• Përmirësimi i analizuesit C++.

Burimi: linux.org.ru