{"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\/nl\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","title":{"rendered":"Het Cppcheck-project verzamelt fondsen om verbeteringen te realiseren","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"


\n \"Het<\/p>\n

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

De ontwikkelaar van Cppcheck (Daniel Marjam\u00e4ki) is van plan de mogelijkheid toe te voegen om software in C en C++ te verifi\u00ebren in zijn statische analyzer.<\/p>\n

Softwareverificatie in Cppcheck<\/h2>\n

In de 'verificatiemodus' zal Cppcheck een waarschuwing geven als het niet kan bevestigen dat de code veilig is, maar dit kan leiden tot ruis (meerdere waarschuwingen).<\/p>\n

Implementatieplannen<\/h2>\n

De verificatiemodus zal stapsgewijs worden ge\u00efmplementeerd. In de eerste fase zal de focus liggen op het controleren van 'deling door nul'. Dit is een relatief eenvoudige controle. Elke functie zal afzonderlijk worden gecontroleerd. Hierbij wordt aangenomen dat alle invoergegevens willekeurige waarden kunnen hebben. Controles voor andere soorten onbepaald gedrag zullen later worden toegevoegd. Ook wordt verwacht dat de syntax-analyse van C en C++ zal worden verbeterd.<\/p>\n

Versnelling van de ontwikkeling<\/h2>\n

Het doel van de fondsenwervingscampagne op Kickstarter is om de ontwikkeling van de verificatiemodus te versnellen. Deze mogelijkheid zal in ieder geval worden toegevoegd, maar de ontwikkeling kan meer tijd kosten als de gelden niet worden verzameld. Als de gelden wel worden verzameld, kan Daniel vrij nemen van zijn hoofdwerk om al zijn tijd aan het cppcheck-project te wijden.<\/p>\n

Doelen van het project<\/h2>\n