Twórca Cppcheck (Daniel Marjamäki) planuje dodać możliwość weryfikacji oprogramowania w C i C++ do swojego statycznego analizatora.
Weryfikacja oprogramowania w Cppcheck
W trybie 'weryfikacji' Cppcheck będzie wydawać ostrzeżenie, jeśli nie uda się potwierdzić, że kod jest bezpieczny, co może prowadzić do fałszywych alarmów (wielu ostrzeżeń).
Plany realizacji
Tryb weryfikacji będzie realizowany etapami. Na pierwszym etapie prace skoncentrują się na sprawdzeniu 'dzielenia przez zero'. To stosunkowo prosta kontrola. Każda funkcja będzie badana osobno. Przy tym zakłada się, że wszystkie dane wejściowe mogą mieć dowolną wartość. Kontrolę innych typów nieokreślonego zachowania dodane zostaną później. Planuje się również poprawę analizy C i C++;
Przyspieszenie rozwoju
Celem zbiórki funduszy na Kickstarterze jest przyspieszenie rozwoju trybu weryfikacji. Ta funkcjonalność zostanie dodana w każdym przypadku, ale prace mogą zająć więcej czasu, jeśli fundusze nie zostaną zebrane. Jeśli fundusze zostaną zebrane, Daniel będzie mógł wziąć urlop z pracy głównej, aby całkowicie poświęcić swój czas na projekt cppcheck.
Cele projektu
Udoskonalenie analizatora C++.
Izvor: linux.org.ru
