Il-proġett Cppcheck qed jiġbor fondi biex jimplimenta titjib.

L-iżviluppatur ta 'Cppcheck (Daniel Marjamäki) se jżid il-kapaċità li jivverifika s-softwer f'C u C++ mal-analizzatur statiku tiegħu.

Verifika tas-softwer f'Cppcheck

Fil-modalità "verifika", Cppcheck se joħroġ twissija jekk ma jistax jivverifika li l-kodiċi huwa sigur, iżda dan jista 'jirriżulta fi storbju (twissijiet multipli).

Pjanijiet ta' implimentazzjoni

Il-mod ta' verifika se jiġi implimentat b'mod sekwenzjali. Fl-ewwel stadju, ix-xogħol se jikkonċentra fuq id-diviżjoni b'kontroll żero. Dan huwa kontroll relattivament sempliċi. Kull funzjoni se tiġi ttestjata separatament. Huwa preżunt li d-dejta kollha tal-input jista' jkollha valur arbitrarju. Kontrolli għal tipi oħra ta' mġieba mhux definita se jiżdiedu aktar tard. Hemm ukoll pjanijiet biex jitjieb l-parsing tas-C u C++.

Tħaffef l-iżvilupp

L-għan tal-ġbir ta 'fondi fuq Kickstarter huwa li jaċċellera l-iżvilupp tal-mod ta' verifika. Qed nippjanaw li nżidu din il-karatteristika xorta waħda, iżda x-xogħol jista' jieħu aktar żmien jekk il-fondi ma jinġabrux. Jekk jinġabru l-fondi, Daniel ikun jista’ jieħu leave ta’ assenza mix-xogħol ewlieni tiegħu sabiex jiddedika bis-sħiħ il-ħin tax-xogħol tiegħu għall-proġett cppcheck.

Għanijiet tal-proġett

• Jeliminaw negattivi foloz mid-diviżjoni b'żero testijiet in Juliet и ITC.

• Korrezzjoni ta’ pożittivi foloz (ara. BUG#9402).

• Titjib tal-parser C++.

Sors: linux.org.ru