{"id":101563,"date":"2021-10-07T16:22:54","date_gmt":"2021-10-07T14:22:54","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s"},"modified":"2021-10-07T16:22:54","modified_gmt":"2021-10-07T14:22:54","slug":"vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/novosti-interneta\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"Ver\u00f6ffentlichung von cppcheck 2.6, einem statischen Code-Analyzer f\u00fcr die Programmiersprachen C++ und C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Die neue Version des statischen Code-Analyzers cppcheck 2.6 ist erschienen. Sie erm\u00f6glicht das Auffinden verschiedener Fehlerarten im Code der Programmiersprachen C und C++, einschlie\u00dflich der Verwendung von nicht-standardm\u00e4\u00dfiger Syntax, die typisch f\u00fcr eingebettete Systeme ist. Eine Sammlung von Plugins wird bereitgestellt, die die Integration von cppcheck in verschiedene Entwicklungs-, Continuous Integration- und Testsysteme erm\u00f6glicht. Zudem werden Funktionen wie die \u00dcberpr\u00fcfung der Codekonformit\u00e4t zu Stilrichtlinien angeboten. Sowohl der hauseigene Parser als auch der externe Parser von Clang k\u00f6nnen zur Code-Analyse verwendet werden. Au\u00dferdem enth\u00e4lt das Paket das Skript donate-cpu.py, um lokale Ressourcen f\u00fcr die gemeinschaftliche \u00dcberpr\u00fcfung von Debian-Paket-Code bereitzustellen. Der Quellcode des Projekts wird unter der GPLv3-Lizenz verbreitet. <\/p>\n
Die Entwicklung von cppcheck konzentriert sich auf die Identifizierung von Problemen im Zusammenhang mit undefiniertem Verhalten und der Verwendung potenziell unsicherer Konstruktionen. Ziel ist auch die Minimierung von Fehlalarmen. Zu den identifizierten Problemen geh\u00f6ren: Zeiger auf nicht existierende Objekte, Division durch Null, ganzzahlige \u00dcberl\u00e4ufe, fehlerhafte Bitverschiebungsoperationen, inkorrekte Typkonversionen, Probleme im Umgang mit dem Speicher, inkorrekte Nutzung der STL, Dereferenzierung von Nullzeigern, \u00dcberpr\u00fcfungen nach dem tats\u00e4chlichen Zugriff auf den Puffer, Buffer\u00fcberl\u00e4ufe und die Verwendung von nicht initialisierten Variablen. <\/p>\n
In der neuen Version: <\/p>\n
\n
Die folgenden Pr\u00fcfungen wurden in den Kern des Analysewerkzeugs integriert:\n
\n
Fehlender return-Operator im Funktionsk\u00f6rper;\n
Schreiben von \u00fcberlappenden Daten, Bestimmung von undefiniertem Verhalten;\n
Vergleichswert liegt au\u00dferhalb des g\u00fcltigen Bereichs des Typs;\n
Optimierung der Kopie wird nicht f\u00fcr return std::move(local) angewendet;\n
Eine Datei kann nicht gleichzeitig in unterschiedlichen Streams zum Lesen und Schreiben ge\u00f6ffnet werden; <\/ul>\n
F\u00fcr Unix-Plattformen wurde die Unterst\u00fctzung f\u00fcr die Ausgabe von Diagnosemeldungen in verschiedenen Farben hinzugef\u00fcgt;\n
Die Zeichenanalyse f\u00fcr ValueFlow wurde hinzugef\u00fcgt. Eine einfache Delta-Methode wird verwendet, um die Unterschiede zwischen zwei unbekannten Variablen zu berechnen.\n
Die Regeln, die f\u00fcr die Token-Liste «define» verwendet werden, k\u00f6nnen auch f\u00fcr #include gelten;\n
Der Bibliotheks-Tag kann jetzt den Tag enthalten. Entsprechend k\u00f6nnen Funktionen wie free, die solche Container wie std::size, std::empty, std::begin, std::end usw. akzeptieren, yeld oder action f\u00fcr Container angeben.\n
Das Bibliothekstag kann jetzt das Tag f\u00fcr Smart Pointer enthalten, die exklusives Eigentum (unique ownership) haben. Nun wird eine Warnung zu «h\u00e4ngenden» Verweisen auf diese Art von Smart Pointer ausgegeben;\n
Probleme bei der Verarbeitung des Parameters \u2014cppcheck-build-dir wurden behoben;\n
htmlreport kann jetzt Informationen \u00fcber den Autor (mithilfe von git blame) ausgeben.\n
Die Warnungen zu Variablen, die nicht konstant sind, aber konstant sein k\u00f6nnten, wurden erweitert.\n
Ansammelnde Fehler und Unvollkommenheiten des Analysators wurden behoben. <\/ul>\n