{"id":52733,"date":"2019-11-15T00:00:00","date_gmt":"2019-11-14T21:00:00","guid":{"rendered":"https:\/\/prohoster.info\/blog\/blog_prohoster\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij"},"modified":"2020-02-18T14:00:32","modified_gmt":"2020-02-18T11:00:32","slug":"proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","status":"publish","type":"post","link":"https:\/\/prohoster.info\/da\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","title":{"rendered":"Cppcheck-projektet indsamler midler til forbedringer","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"


\n \"Cppcheck-projektet<\/p>\n

<\/a><\/p>\n

Udvikleren af Cppcheck (Daniel Marjam\u00e4ki) planl\u00e6gger at tilf\u00f8je mulighed for verifikation af software i C og C++ i sin statiske analyser.<\/p>\n

Verifikation af software i Cppcheck<\/h2>\n

I \"verifikations\"-tilstand vil Cppcheck give en advarsel, hvis det ikke lykkes at bekr\u00e6fte, at koden er sikker, men dette kan f\u00f8re til st\u00f8j (flere advarsler).<\/p>\n

Implementeringsplaner<\/h2>\n

Verifikationsm\u00e5den vil blive implementeret trinvis. I f\u00f8rste fase vil arbejdet v\u00e6re fokuseret p\u00e5 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\u00e5rligt v\u00e6rdier. Kontroller af andre typer ubestemt adf\u00e6rd vil blive tilf\u00f8jet senere. Der er ogs\u00e5 planer om at forbedre syntaktisk analyse af C og C++.<\/p>\n

Fremskynde udviklingen<\/h2>\n

Form\u00e5let med crowdfunding p\u00e5 Kickstarter er at fremskynde udviklingen af verifikationsmetoden. Denne mulighed vil blive tilf\u00f8jet uanset hvad, men arbejdet kan tage l\u00e6ngere 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.<\/p>\n

Projektm\u00e5l<\/h2>\n