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
C++ analüsaatori täiustamine.
Allikas: linux.org.ru
