Cppchecki projekt kogub raha täiustuste elluviimiseks.


Cppchecki projekt kogub raha täiustuste elluviimiseks.

Cppchecki arendaja (Daniel Marjamäki) lisab oma staatilisele analüsaatorile võimaluse kontrollida tarkvara C ja C++ keeles.

Tarkvara kontrollimine Cppcheckis

Kinnitusrežiimis annab Cppcheck hoiatuse, kui ta ei saa kontrollida, kas kood on ohutu, kuid see võib põhjustada müra (mitu hoiatust).

Rakendusplaanid

Kinnitusrežiimi rakendatakse järjestikku. Esimeses etapis keskendutakse nullkontrolliga jagamisele. See on suhteliselt lihtne kontroll. Iga funktsiooni testitakse eraldi. Eeldatakse, et kõigil sisendandmetel võib olla suvaline väärtus. Muud tüüpi määratlemata käitumise kontrollid lisatakse hiljem. Samuti on kavas parandada C ja C++ parsimist.

Kiirendada arengut

Kickstarteris raha kogumise eesmärk on kiirendada kinnitusrežiimi väljatöötamist. Plaanime selle funktsiooni nagunii lisada, kuid kui raha ei koguta, võib töö kauem aega võtta. Kui raha kogutakse, saab Daniel oma põhitöökohalt puhkust võtta, et pühendada oma tööaeg täielikult cppchecki projektile.

Projekti eesmärgid

  • Valenegatiivsete testide eemaldamine nulltestidega jagamisel Julia и ITC.

  • Valepositiivsete tulemuste korrigeerimine (vt. VIGA #9402).

  • C++ parseri täiustamine.

Allikas: linux.org.ru

Lisa kommentaar