Cppchecki arendaja (Daniel Marjamäki) plaanib lisada võimaluse C- ja C++-programmi koodi verifitseerimiseks oma staatilisse analüsaatorisse.
Tarkvara verifitseerimine Cppcheckis
Verifitseerimisrežiimis annab Cppcheck hoiatuse, kui ei õnnestu kinnitada, et kood on ohutu, kuid see võib põhjustada müra (rohkeid hoiatusteateid).
Rakendamise plaanid
Verifitseerimisrežiimi rakendamine toimub järk-järgult. Esimeses etapis keskendutakse 'jagamisse nulliga' kontrollimisele. See on suhteliselt lihtne kontroll. Iga funktsioon kontrollitakse eraldi. Eeldatakse, et kõik sisendid võivad olla suvalise väärtusega. Muude määramatute käitumise kontrollide lisamine toimub hiljem. Samuti on plaanis täiustada C- ja C++-keele süntaksianalüüsi.
Arenduse kiirendamine
Kickstarteri rahastamise eesmärk on kiirendada valideerimisrežiimi arendamist. Seda funktsiooni plaanitakse igal juhul lisada, kuid töö võib võtta kauem aega, kui vahendeid ei koguta. Kui aga vahendid kogutakse, saab Daniel oma põhitööst puhkuse, et pühenduda täielikult projektile cppcheck.
Projekti eesmärgid
C++ analüsaatori parandamine.
Allikas: linux.org.ru
