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

Извор: opennet.ru