Ang proyekto sa Cppcheck nagtigom og pundo aron ipatuman ang mga kalamboan.

Ang developer sa Cppcheck (Daniel Marjamäki) magdugang sa abilidad sa pag-verify sa software sa C ug C ++ sa iyang static analyzer.

Pag-verify sa software sa Cppcheck

Sa "verification" mode, ang Cppcheck magpagawas ug pasidaan kung dili kini mapamatud-an nga luwas ang code, apan kini mahimong moresulta sa kasaba (multiple warnings).

Mga plano sa pagpatuman

Ang verification mode ipatuman nga sunud-sunod. Sa unang yugto, ang trabaho magkonsentrar sa dibisyon pinaagi sa zero check. Kini usa ka medyo yano nga pagsusi. Ang matag function pagasulayan nga gilain. Gituohan nga ang tanan nga data sa pag-input mahimong adunay usa ka arbitraryong kantidad. Ang mga tseke alang sa ubang mga matang sa dili matino nga kinaiya idugang sa ulahi. Adunay usab mga plano sa pagpalambo sa C ug C ++ parsing.

Pagpadali sa pag-uswag

Ang katuyoan sa pagkolekta sa pondo sa Kickstarter mao ang pagpadali sa pag-uswag sa mode sa pag-verify. Nagplano kami nga idugang gihapon kini nga bahin, apan ang trabaho mahimong magdugay kung ang mga pondo dili makuha. Kung matigom ang pundo, maka-leave of absence si Daniel sa iyang nag-unang trabaho aron hingpit nga magahin ang iyang oras sa pagtrabaho sa cppcheck project.

Mga tumong sa proyekto

• Pagwagtang sa mga bakak nga negatibo gikan sa pagbahin pinaagi sa zero nga mga pagsulay sa Juliet и ITC.

• Pagtul-id sa mga bakak nga positibo (tan-awa. BUG#9402).

• Pag-uswag sa C++ parser.

Source: linux.org.ru