Release des statischen Code-Analyse-Tools cppcheck 2.1

Verfügbar neue Ausgabe des kostenlosen statischen Analysewerkzeugs cppcheck 2.1, das verschiedene Klassen von Fehlern in C- und C++-Code identifizieren kann, auch bei der Verwendung nicht standardmäßiger Syntax, die typisch für eingebettete Systeme ist. Es steht eine Sammlung von Plugins zur Verfügung, über die die Integration von cppcheck mit verschiedenen Entwicklungs-, Continuous Integration- und Testsystemen gewährleistet wird, sowie Funktionen wie Überprüfung der Übereinstimmung des Codes mit dem Codierungsstil. Zur Analyse des Codes kann sowohl der eigene Parser als auch der externe Parser von Clang verwendet werden. Ebenfalls enthalten ist das Skript donate-cpu.py, um lokale Ressourcen für die gemeinsame Prüfung von Debian-Paketcodes bereitzustellen. Die Quelltexte des Projekts wird verbreitet unter Lizenz GPLv3.

Die Entwicklung von cppcheck konzentriert sich auf die Identifizierung von Problemen, die mit unbeständigem Verhalten und der Verwendung potenziell gefährlicher Konstrukte verbunden sind. Ziel ist es ebenfalls, falsch-positive Ergebnisse zu minimieren. Unter den identifizierten Problemen sind: Zeiger auf nicht vorhandene Objekte, Division durch Null, ganzzahlige Überläufe, fehlerhafte Bitverschiebungsoperationen, fehlerhafte Typumwandlungen, Probleme im Umgang mit Speicher, fehlerhafte Verwendung der STL, Dereferenzierung von Nullzeigern, Anwendung von Überprüfungen nach dem tatsächlichen Zugriff auf den Puffer, Pufferüberläufe und die Verwendung von nicht initialisierten Variablen.

Quelle: opennet.ru