🥇Het Cppcheck-project verzamelt geld voor verbeteringen

De ontwikkelaar van Cppcheck (Daniel Marjamäki) is van plan de mogelijkheid toe te voegen om software in C en C++ te verifiëren in zijn statische analyzer.

Softwareverificatie in Cppcheck

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).

Implementatieplannen

De verificatiemodus zal stapsgewijs worden geïmplementeerd. 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.

Versnelling van de ontwikkeling

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.