Projekt Cppcheck zbiera fundusze na wdrażanie ulepszeń.

Twórca Cppcheck (Daniel Marjamäki) zamierza dodać do swojego analizatora statycznego możliwość weryfikacji oprogramowania w językach C i C++.

Weryfikacja oprogramowania w Cppcheck

W trybie „weryfikacji” Cppcheck wygeneruje ostrzeżenie, jeśli nie będzie w stanie zweryfikować, czy kod jest bezpieczny, ale może to spowodować zakłócenia (wiele ostrzeżeń).

Plany wdrożeniowe

Tryb weryfikacji będzie realizowany sekwencyjnie. W pierwszym etapie prace skupią się na dzieleniu przez kontrolę zerową. Jest to stosunkowo proste sprawdzenie. Każda funkcja będzie testowana osobno. Zakłada się, że wszystkie dane wejściowe mogą mieć dowolną wartość. Kontrole innych typów niezdefiniowanego zachowania zostaną dodane później. Istnieją również plany ulepszenia analizowania języków C i C++.

Przyspieszenie rozwoju

Celem zbiórki na Kickstarterze jest przyspieszenie rozwoju trybu weryfikacji. I tak planujemy dodać tę funkcję, ale prace mogą potrwać dłużej, jeśli nie zostaną zebrane fundusze. Jeśli uda się zebrać fundusze, Daniel będzie mógł wziąć urlop w swojej głównej pracy, aby w pełni poświęcić swój czas pracy projektowi cppcheck.

Cele projektu

• Eliminowanie wyników fałszywie ujemnych z testów dzielenia przez zero Juliet и ITC.

• Korekta fałszywych alarmów (patrz. BŁĄD#9402).

• Ulepszenie parsera C++.

Źródło: linux.org.ru