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

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

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

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

• В ядрото на анализатора са добавени следните проверки:
  • липса на оператор return в тялото на функция;
  • записване на пресичащи се данни, определяне на неопределено поведение;
  • сравняваната стойност е извън представянето на стойностите на типа;
  • оптимизация на копирането не се прилага за return std::move(local);
  • файлът не може да бъде отворен едновременно за четене и за запис в различни потоци (stream);
• за Unix платформи е добавена поддръжка за извеждане на диагностични съобщения в различни цветове;
• добавен е символен анализ за ValueFlow. Използва се проста делта при изчисляването на разликите между две неизвестни променливи;
• правилата, използвани за списъка с токени "define", също могат да отговарят на #include;
• Библиотечният етикет вече може да съдържа етикет , и съответно функциите free, които могат да приемат такива контейнери като std::size, std::empty, std::begin, std::end и т.н. могат да указват yeld или action за контейнерите;
• Библиотечният етикет вече може да съдържа етикет за умни указатели, които имат изключително притежание (unique ownership). Сега се издава предупреждение за „висящи“ референции към този вид умни указатели;
• Коригирани са проблемите с обработката на параметъра —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