Wydanie statycznego analizatora cppcheck 2.1

Dostępny nowa wersja wolnego statycznego analizatora cppcheck 2.1, 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, dzięki którym zapewniona jest integracja cppcheck z różnymi systemami rozwoju, ciągłej integracji i testowania, a także dostępne są funkcje takie jak sprawdzanie zgodności kodu ze stylem formatowania kodu. Do analizy kodu może być używany zarówno własny parser, jak i zewnętrzny parser od Clang. W skład wchodzi również skrypt donate-cpu.py, który umożliwia udostępnienie lokalnych zasobów do współpracy w analizie kodu pakietów Debian. Tekst źródłowy projektu rozpowszechniany jest licencjonowany na zasadach GPLv3.

Rozwój cppcheck koncentruje się na wykrywaniu problemów związanych z nieokreślonym zachowaniem oraz 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 do nieistniejących obiektów, dzielenie przez zero, przepełnienia liczb całkowitych, nieprawidłowe operacje przesunięcia bitowego, nieprawidłowe konwersje, problemy z pamięcią, błędne użycie STL, dereferencja wskaźników zerowych, stosowanie sprawdzeń po faktycznym dostępie do bufora, przekroczenie granic buforów, użycie niezainicjowanych zmiennych.

Źródło: opennet.ru

Kup solidny hosting stron z ochroną przed DDoS, serwery VPS VDS 🔥 Kup solidny hosting stron z ochroną przed DDoS, serwery VPS VDS | ProHoster