Cppchecki projekt kogub raha täiustuste elluviimiseks

Cppcheck'i arendaja (Daniel Marjamäki) kavatseb lisada võimaluse C- ja C++-programmi verifitseerimiseks oma staatilisse analüsaatorisse.

Programmi verifitseerimine Cppcheck'is

Verifitseerimise režiimis annab Cppcheck hoiatuse, kui ei õnnestu kinnitada, et kood on ohutu, kuid see võib põhjustada müra (mitmeid hoiatusteateid).

Rakendamisplaanid

Verifitseerimise režiim rakendatakse järk-järgult. Esimeses etapis keskendutakse teatavale «nulliga jagamise» kontrollimisele. See on suhteliselt lihtne kontroll. Iga funktsiooni kontrollitakse eraldi. Eeldatakse, et kõik sisendid võivad olla suvalise väärtusega. Muude määramatute käitumiste kontrollid lisatakse hiljem. Samuti plaanitakse parandada C- ja C++-süntaksit.

Arenduse kiirendamine

Kickstarteri rahastamise eesmärk on arenduse kiirendamine verifitseerimise režiimis. See võimalus plaanitakse kindlasti lisada, kuid töö võib võtta rohkem aega, kui rahastust ei koguta. Kui aga rahastust kogutakse, saavad Daniel ja võtta puhkuse oma põhitöös, et pühendada kogu oma tööaeg cppcheck'ile.

Projekti eesmärgid

• Vale-negatiivsete nulliga jagamise testide kõrvaldamine Juliet ja ITC.

• Vale-positiivsete tasemete parandamine (vt. BUG#9402).

• C++ analüsaatori täiustamine.

Allikas: linux.org.ru