Cppcheck verkefnið er að safna fé til að innleiða endurbætur.

Framkvæmdaraðili Cppcheck (Daniel Marjamäki) ætlar að bæta við getu til að sannreyna hugbúnað í C og C++ við kyrrstöðugreiningartækið sitt.

Staðfesting hugbúnaðar í Cppcheck

Í „staðfestingar“ ham mun Cppcheck gefa út viðvörun ef það getur ekki staðfest að kóðinn sé öruggur, en það getur valdið hávaða (margar viðvaranir).

Framkvæmdaáætlanir

Sannprófunarhamurinn verður innleiddur í röð. Á fyrsta stigi mun vinnan einbeita sér að skiptingu með núllávísun. Þetta er tiltölulega einföld athugun. Hver aðgerð verður prófuð sérstaklega. Gert er ráð fyrir að öll inntaksgögn geti haft handahófskennt gildi. Ávísanir fyrir aðrar tegundir óskilgreindrar hegðunar verða bætt við síðar. Það eru líka áform um að bæta C og C++ þáttun.

Flýttu þróun

Markmið fjáröflunar á Kickstarter er að flýta fyrir þróun sannprófunarhamsins. Við ætlum samt að bæta þessum eiginleika við, en vinnan gæti tekið lengri tíma ef ekki fæst fjármagn. Verði fjármunum safnað mun Daniel geta tekið sér frí frá aðalstarfi sínu til að verja vinnutíma sínum að fullu í cppcheck verkefnið.

Verkefnamarkmið

• Útrýma fölskum neikvæðum úr skiptingu með núllprófum í Júlía и ITC.

• Leiðrétting á fölskum jákvæðum (sjá. BUG#9402).

• Endurbætur á C++ þáttaranum.

Heimild: linux.org.ru