Die Cppcheck-projek samel fondse in om verbeterings te implementeer.

Die ontwikkelaar van Cppcheck (Daniel Marjamäki) gaan die vermoë om sagteware in C en C++ te verifieer by sy statiese ontleder voeg.

Sagteware verifikasie in Cppcheck

In "verifikasie"-modus sal Cppcheck 'n waarskuwing uitreik as dit nie kan verifieer dat die kode veilig is nie, maar dit kan geraas (veelvuldige waarskuwings) tot gevolg hê.

Implementeringsplanne

Die verifikasiemodus sal opeenvolgend geïmplementeer word. In die eerste stadium sal daar op die verdeling deur nul-tjek gekonsentreer word. Dit is 'n relatief eenvoudige tjek. Elke funksie sal afsonderlik getoets word. Daar word aanvaar dat alle invoerdata 'n arbitrêre waarde kan hê. Tjeks vir ander tipes ongedefinieerde gedrag sal later bygevoeg word. Daar is ook planne om C- en C++-ontleding te verbeter.

Versnel ontwikkeling

Die doel van fondsinsameling op Kickstarter is om die ontwikkeling van die verifikasiemodus te versnel. Ons beplan in elk geval om hierdie kenmerk by te voeg, maar die werk kan langer neem as fondse nie ingesamel word nie. Indien die fondse ingesamel word, sal Daniel verlof van sy hoofwerk kan neem om sy werkstyd ten volle aan die cppcheck-projek te wy.

Projek doelwitte

• Uitskakeling van vals negatiewe uit deling deur nul toetse in Juliet и ITC.

• Regstelling van vals positiewe (sien. FOUT#9402).

• Verbetering van die C++-ontleder.

Bron: linux.org.ru