Ang proyekto ng Cppcheck ay nangangalap ng mga pondo upang ipatupad ang mga pagpapabuti.

Ang developer ng Cppcheck (Daniel Marjamäki) ay magdaragdag ng kakayahang mag-verify ng software sa C at C++ sa kanyang static analyzer.

Pag-verify ng software sa Cppcheck

Sa "verification" mode, maglalabas ang Cppcheck ng babala kung hindi nito ma-verify na ligtas ang code, ngunit maaari itong magresulta sa ingay (maraming babala).

Mga plano sa pagpapatupad

Ang verification mode ay ipapatupad nang sunud-sunod. Sa unang yugto, ang trabaho ay tututuon sa dibisyon sa pamamagitan ng zero check. Ito ay isang medyo simpleng tseke. Ang bawat function ay susuriin nang hiwalay. Ipinapalagay na ang lahat ng data ng pag-input ay maaaring magkaroon ng isang arbitrary na halaga. Ang mga pagsusuri para sa iba pang mga uri ng hindi natukoy na gawi ay idaragdag sa ibang pagkakataon. Mayroon ding mga plano upang mapabuti ang pag-parse ng C at C++.

Pabilisin ang pag-unlad

Ang layunin ng pangangalap ng pondo sa Kickstarter ay upang mapabilis ang pagbuo ng mode ng pag-verify. Plano naming idagdag pa rin ang feature na ito, ngunit maaaring magtagal ang trabaho kung hindi makalikom ng pondo. Kung makalikom ang pondo, makakapag-leave of absence si Daniel sa kanyang pangunahing trabaho upang ganap na italaga ang kanyang oras sa pagtatrabaho sa proyekto ng cppcheck.

Mga layunin ng proyekto

• Pag-aalis ng mga maling negatibo mula sa paghahati sa pamamagitan ng zero na pagsubok sa Juliet и ITC.

• Pagwawasto ng mga maling positibo (tingnan. BUG#9402).

• Pagpapabuti ng C++ parser.

Pinagmulan: linux.org.ru