Издание на cppcheck 2.7, статичен анализатор на код за езици C++ и C

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

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

Паралелно с това шведската компания Cppcheck Solutions AB разработва разширена версия Cppcheck Premium, която осигурява анализ на наличието на безкрайни цикли, подобрен търсене на неинициализирани променливи и разширен анализ на преливане на буфери.

В новата версия:

• Добавена поддръжка на представления (view) на контейнери — в таг библиотеката е добавен атрибут view, указващ, че класът е представление. Кодът за анализ на времето за живот е обновен, за да използва този атрибут при търсене на „висящи“ контейнери;
• Подобрени проверки;
• Коригирани натрупани грешки и отстранени недостатъци на анализатора.

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