Релиз на статичния анализатор cppcheck 2.1

Достъпен ново издание на свободния статичен анализатор cppcheck 2.1, който позволява откриването на различни класове грешки в кода на C и C++, включително и при използване на нестандартизирана синтаксис, типична за вградените системи. Предоставя се колекция от плъгини, чрез които е осигурена интеграция на cppcheck с различни разработки, системи за непрекъсната интеграция и тестване, а също така са предоставени възможности като проверка на съответствието на кода с кодовите стандарти. За анализа на кода може да се използва както собствен парсер, така и външен парсер от Clang. Включен е и скрипт donate-cpu.py за осигуряване на локални ресурси за извършване на съвместна проверка на кода на пакети Debian. Изходните кодове на проекта се разпространява е с лиценз GPLv3.

Развитието на cppcheck е съсредоточено върху откритие на проблеми, свързани с неопределено поведение и използването на конструкции, опасни от гледна точка на безопасността. Целта е също така да се минимизират фалшивите сработвания. Сред откритите проблеми: указатели към несъществуващи обекти, деления на нула, целочислени препълнения, некоректни операции с битови сдвижения, некоректни преобразования, проблеми при работа с паметта, неправилно използване на STL, разименуване на нулеви указатели, извършване на проверки след фактическо достъпване на буфера, излизане извън границите на буферите, използване на неинициализирани променливи.

Източник: opennet.ru