Twórca Cppcheck (Daniel Marjamäki) planuje dodać możliwość weryfikacji oprogramowania w C i C++ do swojego analizatora statycznego.
Weryfikacja oprogramowania w Cppcheck
W trybie „weryfikacji” Cppcheck wyda ostrzeżenie, jeśli nie uda się potwierdzić, że kod jest bezpieczny, co może prowadzić do szumów (wielu ostrzeżeń).
Plany realizacji
Tryb weryfikacji będzie realizowany stopniowo. Na pierwszym etapie prace będą skoncentrowane na sprawdzeniu „dzielenia przez zero”. Jest to stosunkowo proste sprawdzenie. Każda funkcja będzie sprawdzana osobno. Zakłada się, że wszystkie dane wejściowe mogą mieć dowolną wartość. Sprawdzenia innych typów nieokreślonego zachowania zostaną dodane później. Planowane jest również ulepszenie analizy składni C i C++.
Przyspieszenie rozwoju
Celem zbiórki funduszy na Kickstarterze jest przyspieszenie rozwoju trybu weryfikacji. Ta funkcjonalność ma zostać dodana w każdym przypadku, ale prace mogą zająć więcej czasu, jeśli fundusze nie zostaną zebrane. Jeśli natomiast fundusze będą zebrane, Daniel będzie mógł wziąć urlop w swojej głównej pracy, aby całkowicie poświęcić swój czas pracy projektowi cppcheck.
Cele projektu
Ulepszenie analizatora C++.
Źródło: linux.org.ru
