{"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\/news\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"Ver\u00f6ffentlichung von cppcheck 2.6, einem statischen Code-Analysator f\u00fcr die Programmiersprachen C++ und C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Die neue Version des statischen Code-Analysetools cppcheck 2.6 ist erschienen und erm\u00f6glicht die Identifizierung verschiedener Fehlerklassen in Code, der in C und C++ geschrieben ist, einschlie\u00dflich der Verwendung von nicht standardkonformen Syntaxen, die f\u00fcr eingebettete Systeme typisch sind. Es wird eine Sammlung von Plugins bereitgestellt, die die Integration von cppcheck mit verschiedenen Entwicklungs-, Continuous-Integration- und Testsystemen sicherstellt, sowie Funktionen wie die \u00dcberpr\u00fcfung der \u00dcbereinstimmung des Codes mit dem Codestyle bereitstellt. Zur Analyse des Codes kann sowohl der interne Parser als auch der externe Parser von Clang verwendet werden. Au\u00dferdem enth\u00e4lt das Paket das Skript donate-cpu.py, das lokale Ressourcen f\u00fcr die Zusammenarbeit bei der Code\u00fcberpr\u00fcfung von Debian-Paketen bereitstellt. Der Quellcode des Projekts wird unter der GPLv3-Lizenz verbreitet. <\/p>\n
Die Entwicklung von cppcheck konzentriert sich auf die Identifikation von Problemen im Zusammenhang mit undefiniertem Verhalten und der Nutzung von constructions, die in Bezug auf Sicherheit gef\u00e4hrlich sind. Ziel ist es auch, falsche Positives zu minimieren. Zu den identifizierten Problemen geh\u00f6ren: Zeiger auf nicht existierende Objekte, Division durch Null, \u00dcberl\u00e4ufe bei Ganzzahlen, fehlerhafte Bitverschiebungsoperationen, fehlerhafte Umwandlungen, Probleme beim Umgang mit Speicher, unsachgem\u00e4\u00dfe Nutzung von STL, Dereferenzierung von Nullzeigern, Anwendung von \u00dcberpr\u00fcfungen nach tats\u00e4chlich erfolgtem Zugriff auf den Puffer, Puffer\u00fcberl\u00e4ufe und die Verwendung von nicht initialisierten Variablen. <\/p>\n
In der neuen Version: <\/p>\n
\n
Folgende \u00dcberpr\u00fcfungen wurden in den Kern des Analysetools aufgenommen:\n
\n
fehlender return-Operator im K\u00f6rper der Funktion;\n
Schreiben in \u00fcberlappende Daten, Feststellung von undefiniertem Verhalten;\n
der zu vergleichende Wert liegt au\u00dferhalb des Darstellungsbereichs des Datentyps;\n
die Kopieroptimierung wird f\u00fcr return std::move(local) nicht angewendet;\n
eine Datei kann nicht gleichzeitig in verschiedenen Streams (stream) zum Lesen und Schreiben ge\u00f6ffnet werden; <\/ul>\n
f\u00fcr Unix-Systeme wurde die Unterst\u00fctzung f\u00fcr die Ausgabe von Diagnosemeldungen in verschiedenen Farben hinzugef\u00fcgt;\n
eine symbolische Analyse f\u00fcr ValueFlow wurde hinzugef\u00fcgt. Es wird eine einfache Delta-Methode verwendet, um Unterschiede zwischen zwei unbekannten Variablen zu berechnen;\n
Die Regeln, die f\u00fcr die Tokenliste \u00abdefine\u00bb verwendet werden, k\u00f6nnen auch f\u00fcr #include gelten.\n
Der Bibliothekstag kann jetzt das Tag enthalten, und entsprechend k\u00f6nnen Funktionen wie std::size, std::empty, std::begin, std::end usw. yield oder action f\u00fcr Container angeben;\n
Das Bibliotheks-Tag kann jetzt das Tag f\u00fcr intelligente Zeiger enthalten, die exklusives Eigentum (unique ownership) haben. Es wird nun eine Warnung \u00fcber \u00abh\u00e4ngende\u00bb Verweise auf solche intelligenten Zeiger ausgegeben.\n
Es wurden Probleme mit der Verarbeitung des Parameters \u2014cppcheck-build-dir behoben.\n
htmlreport kann jetzt Informationen \u00fcber den Autor (mithilfe von git blame) ausgeben;\n
Die Warnungen \u00fcber Variablen, die keine Konstanten sind, aber es sein k\u00f6nnten, wurden erweitert;\n
Die ansammelten Fehler und M\u00e4ngel des Analysators wurden behoben. <\/ul>\n
Zus\u00e4tzlich wurden die \u00dcberpr\u00fcfungen aus Misra C 2012 vollst\u00e4ndig implementiert, einschlie\u00dflich der \u00c4nderungen 1 und 2, mit Ausnahme der Regeln 1.1, 1.2 und 17.3. Die \u00dcberpr\u00fcfungen 1.1 und 1.2 sollten vom Compiler ausgef\u00fchrt werden. Die \u00dcberpr\u00fcfung 17.3 kann vom Compiler, z.B. GCC, durchgef\u00fchrt werden. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"