{"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\/no\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","title":{"rendered":"Prosjektet Cppcheck samler inn midler for \u00e5 implementere forbedringer","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"


\n \"Prosjektet<\/p>\n

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

Cppcheck-utviklaren (Daniel Marjam\u00e4ki) planlegger \u00e5 legge til muligheten for programvareverifisering p\u00e5 C og C++ i sin statiske analyserer.<\/p>\n

Programvareverifisering i Cppcheck<\/h2>\n

I \u00abverifiseringsmodus\u00bb vil Cppcheck gi advarsler hvis det ikke er mulig \u00e5 bekrefte at koden er sikker, men dette kan f\u00f8re til st\u00f8y (flere advarsler).<\/p>\n

Implementeringsplaner<\/h2>\n

Verifiseringsmodusen vil bli implementert gradvis. I f\u00f8rste fase vil arbeidet bli konsentrert om \u00e5 sjekke \u00abdeling med null\u00bb. Dette er en relativt enkel sjekk. Hver funksjon vil bli sjekket separat. Det antas at alle inndata kan ha vilk\u00e5rlige verdier. Sjekker av andre typer ubestemt oppf\u00f8rsel vil bli lagt til senere. Det er ogs\u00e5 planer om \u00e5 forbedre syntaksanalysen for C og C++.<\/p>\n

Akselerasjon av utviklingen<\/h2>\n

M\u00e5let med crowdfunding-kampanjen p\u00e5 Kickstarter er \u00e5 akselerere utviklingen av verifiseringsmodus. Denne muligheten er planlagt \u00e5 bli lagt til uansett, men arbeidet kan ta lengre tid hvis midlene ikke n\u00e5s. Hvis midlene oppn\u00e5s, kan Daniel ta fri fra hovedjobben sin for \u00e5 dedikere all arbeidstiden sin til prosjektet cppcheck.<\/p>\n

Prosjektm\u00e5l<\/h2>\n