Udvikleren af Cppcheck (Daniel Marjamäki) planlægger at tilføje mulighed for verifikation af software i C og C++ i sin statiske analyser.
Verifikation af software i Cppcheck
I "verifikations"-tilstand vil Cppcheck give en advarsel, hvis det ikke lykkes at bekræfte, at koden er sikker, men dette kan føre til støj (flere advarsler).
Implementeringsplaner
Verifikationsmåden vil blive implementeret trinvis. I første fase vil arbejdet være fokuseret på kontrol af "division med nul". Dette er en relativt simpel kontrol. Hver funktion vil blive kontrolleret individuelt. Det antages, at alle inddata kan have vilkårligt værdier. Kontroller af andre typer ubestemt adfærd vil blive tilføjet senere. Der er også planer om at forbedre syntaktisk analyse af C og C++.
Fremskynde udviklingen
Formålet med crowdfunding på Kickstarter er at fremskynde udviklingen af verifikationsmetoden. Denne mulighed vil blive tilføjet uanset hvad, men arbejdet kan tage længere tid, hvis midlerne ikke indsamles. Hvis midlerne derimod indsamles, kan Daniel tage orlov fra sit hovedjob for at dedikere al sin arbejdstid til cppcheck-projektet.
Projektmål
Forbedring af C++-analysatoren.
Kilde: linux.org.ru
