De ûntwikkelder fan Cppcheck (Daniel Marjamäki) sil de mooglikheid tafoegje om software yn C en C ++ te ferifiearjen oan syn statyske analysator.
Software ferifikaasje yn Cppcheck
Yn "ferifikaasje" modus sil Cppcheck in warskôging jaan as it net ferifiearje kin dat de koade feilich is, mar dit kin liede ta lûd (meardere warskôgings).
Ymplemintaasje plannen
De ferifikaasjemodus sil sequentieel ymplementearre wurde. Yn de earste etappe, wurk sil konsintrearje op de ferdieling troch nul kontrôle. Dit is in relatyf ienfâldige kontrôle. Elke funksje sil apart wurde hifke. Der wurdt fan útgien dat alle ynfiergegevens in willekeurige wearde hawwe kinne. Kontrôles foar oare soarten ûndefiniearre gedrach sille letter wurde tafoege. D'r binne ek plannen om C- en C++-parsing te ferbetterjen.
Fersnelle ûntwikkeling
It doel fan fundraising op Kickstarter is om de ûntwikkeling fan 'e ferifikaasjemodus te fersnellen. Wy binne fan plan dizze funksje yn elts gefal ta te foegjen, mar it wurk kin langer duorje as der gjin fûnsen wurde ophelle. As de fûnsen ophelle wurde, kin Daniël ferlof nimme fan syn haadtaak om syn wurktiid folslein te wijen oan it cppcheck-projekt.
Projektdoelen
-
It eliminearjen fan falske negativen út divyzje troch nul tests yn Juliet и ITC.
-
Korreksje fan falske positiven (sjoch. BUG#9402).
-
Ferbettering fan de C ++ parser.
Boarne: linux.org.ru