Објавување на 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 или акција за конектори;
• ознака за библиотека сега може да содржи ознака за паметни покажувачи кои имаат единствена сопственост. Сега е издадено предупредување за висат референци на овие типови паметни покажувачи;
• поправени проблеми со обработката на параметарот —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