Mradi wa Cppcheck unachangisha fedha ili kutekeleza maboresho.

Msanidi wa Cppcheck (Daniel Marjamäki) ataongeza uwezo wa kuthibitisha programu katika C na C++ kwenye kichanganuzi chake tuli.

Uthibitishaji wa programu katika Cppcheck

Katika hali ya "uthibitishaji", Cppcheck itatoa onyo ikiwa haiwezi kuthibitisha kuwa msimbo uko salama, lakini hii inaweza kusababisha kelele (maonyo mengi).

Mipango ya utekelezaji

Hali ya uthibitishaji itatekelezwa kwa mfuatano. Katika hatua ya kwanza, kazi itazingatia mgawanyiko na hundi ya sifuri. Huu ni ukaguzi rahisi. Kila kipengele cha kukokotoa kitajaribiwa kivyake. Inachukuliwa kuwa data yote ya pembejeo inaweza kuwa na thamani ya kiholela. Hundi za aina nyingine za tabia zisizobainishwa zitaongezwa baadaye. Pia kuna mipango ya kuboresha uchanganuzi wa C na C++.

Kuharakisha maendeleo

Lengo la kuchangisha pesa kwenye Kickstarter ni kuharakisha maendeleo ya hali ya uthibitishaji. Tunapanga kuongeza kipengele hiki, lakini kazi inaweza kuchukua muda mrefu ikiwa pesa hazitakusanywa. Ikiwa pesa zitakusanywa, Daniel ataweza kuchukua likizo kutoka kwa kazi yake kuu ili kutumia kikamilifu wakati wake wa kufanya kazi kwa mradi wa cppcheck.

Malengo ya mradi

• Kuondoa hasi za uwongo kutoka kwa mgawanyiko kwa majaribio ya sifuri ndani Juliet и ITC.

• Marekebisho ya chanya za uwongo (tazama. BUG#9402).

• Uboreshaji wa kichanganuzi cha C++.

Chanzo: linux.org.ru