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

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

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

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

• Следните проверки са добавени към ядрото на анализатора:
  • липса на оператор за връщане в тялото на функцията;
  • припокриващи се записи от данни, неопределени дефиниции на поведение;
  • сравняваната стойност е извън стойностното представяне на типа;
  • Оптимизацията за копиране не се прилага към return 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