Wydano nową wersję statycznego analizatora kodu cppcheck 2.7, który pozwala na wykrywanie różnych klas błędów w kodzie w językach C i C++, w tym przy użyciu niestandardowej składni typowej dla systemów wbudowanych. Oferowana jest kolekcja wtyczek, które umożliwiają integrację cppcheck z różnymi systemami rozwoju, ciągłej integracji i testowania, a także zapewniają takie możliwości jak sprawdzenie zgodności kodu z stylem formatowania. Do analizy kodu może być używany zarówno wewnętrzny parser, jak i zewnętrzny parser od Clang. W skład pakietu wchodzi również skrypt donate-cpu.py, który pozwala na udostępnienie lokalnych zasobów do przeprowadzania wspólnej analizy kodu pakietów Debian. Kody źródłowe projektu są rozpowszechniane na licencji GPLv3.
Rozwój cppcheck koncentruje się na wykrywaniu problemów związanych z nieokreślonym zachowaniem i używaniem konstrukcji niebezpiecznych z punktu widzenia bezpieczeństwa. Celem jest również minimalizacja fałszywych alarmów. Wśród wykrywanych problemów znajdują się: wskaźniki na nieistniejące obiekty, dzielenie przez zero, przepełnienia całkowite, niepoprawne operacje przesunięcia bitowego, niepoprawne konwersje, problemy z pamięcią, niepoprawne użycie STL, dereferencja wskaźników zerowych, stosowanie kontroli po rzeczywistym dostępie do bufora, przekroczenie granic buforów, użycie niezainicjowanych zmiennych.
Równolegle z szwedzką firmą Cppcheck Solutions AB rozwijana jest rozszerzona wersja Cppcheck Premium, oferująca analizę obecności nieskończonych pętli, ulepszony wykrywanie niezainicjowanych zmiennych oraz rozszerzoną analizę przepełnienia buforów.
W nowej wersji:
- Dodano wsparcie dla widoków (view) kontenerów — do tagu biblioteki dodano atrybut view, wskazujący, że klasa jest widokiem. Kod analizy czasu życia został zaktualizowany, aby używać tego atrybutu podczas wyszukiwania "wiszących" kontenerów.
- Ulepszono kontrole;
- Naprawiono nagromadzone błędy i usunięto niedoróbki analizatora.
Źródło: opennet.ru
