Пускане на cppcheck 2.6, анализатор на статичен код за C++ и C езици

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

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

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

• Следните проверки са добавени към ядрото на анализатора:
  • липса на оператор за връщане в тялото на функцията;
  • запис на припокриващи се данни, дефиниране на недефинирано поведение;
  • сравняваната стойност е извън стойностното представяне на типа;
  • оптимизацията за копиране не се прилага за връщане на std::move(local);
  • файлът не може да бъде отворен едновременно за четене и запис в различни потоци (поток);
• за Unix платформи, добавена поддръжка за показване на диагностични съобщения в различни цветове;
• добавен символен анализ за ValueFlow. Използва проста делта при изчисляване на разликата между две неизвестни променливи;
• правилата, използвани за списъка с токени "define", също могат да съвпадат с #include;
• библиотечен етикет вече може да съдържа етикет , и съответно безплатните функции, които могат да приемат контейнери като std::size, std::empty, std::begin, std::end и др. може да укаже yeld или action за съединители;
• библиотечен етикет вече може да съдържа етикет за интелигентни указатели, които имат уникална собственост. Вече се издава предупреждение за висящи препратки към тези видове интелигентни указатели;
• коригирани проблеми с обработката на параметъра —cppcheck-build-dir;
• htmlreport вече може да показва информация за автора (с помощта на git blame);
• разширени предупреждения за променливи, които не са постоянни, но биха могли да бъдат;
• Коригирани са натрупаните грешки и недостатъци на анализатора.

Освен това, проверките от Misra C 2012, включително Изменение 1 и Изменение 2, са напълно внедрени, с изключение на правила 1.1, 1.2 и 17.3. Проверките 1.1 и 1.2 трябва да бъдат извършени от компилатора. Проверка 17.3 може да се извърши от компилатор като GCC.

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