Uvolnění statického analyzátoru cppcheck 2.1

Dostupný nová verze bezplatného statického analyzátoru cppcheck 2.1, který umožňuje identifikovat různé třídy chyb v kódu v jazycích C a C++, včetně použití nestandardní syntaxe, typické pro vestavěné systémy. Je poskytována sbírka zásuvných modulů, jejichž prostřednictvím je cppcheck integrován s různými vývojovými, průběžnými integračními a testovacími systémy a také poskytuje takové funkce jako проверка soulad kódu se stylem formátování kódu. K analýze kódu můžete použít svůj vlastní analyzátor nebo externí analyzátor od Clang. Zahrnuje také skript donate-cpu.py, který poskytuje místní zdroje pro práci na společné kontrole kódu pro balíčky Debianu. Zdroje projektu distribuovány pod licencí GPLv3.

Vývoj cppcheck je zaměřen na identifikaci problémů spojených s nedefinovaným chováním a používáním návrhů, které jsou z bezpečnostního hlediska nebezpečné. Cílem je také minimalizovat falešné poplachy. Mezi identifikované problémy: ukazatele na neexistující objekty, dělení nulou, přetečení celých čísel, nesprávné operace bitového posunu, nesprávné převody, problémy s pamětí, nesprávné použití STL, dereferencování nulových ukazatelů, použití kontrol po skutečném přístupu do vyrovnávací paměti, přetečení vyrovnávací paměti, využití neinicializované proměnné.

Zdroj: opennet.ru

Přidat komentář