Übersicht

Die statische Analyse wird im aktuellen Projekt nur für den Anwendungscode durchgeführt. Bibliotheken und ihre Quellcodes werden nicht analysiert.

CODESYS Static Analysis hilft Ihnen bei der Implementierung, um besseren und lesbaren Code zu schreiben und um widersprüchliche oder nicht unterstützte Programmteile zu identifizieren. Dabei werden insbesondere potenzielle Fehlerquellen aufgedeckt. So werden beispielsweise Stellen identifiziert, an denen noch Testcode enthalten ist. Oder es werden Zeiger gefunden, die vor der Dereferenzierung nicht auf 0 geprüft werden. Oder (mit der SA0119-Regel) werden die Stellen analysiert, an denen die Objektorientierung verwendet wird, und auf eine andere Entwicklungsumgebung portiert, die die Objektorientierung nicht unterstützt, wodurch sie unmöglich wird. Dadurch kann die Übertragbarkeit des Codes gewährleistet werden.

Für Fehler, die von der statischen Analyse auf der Grundlage von Precompile-Informationen gemeldet werden, gibt es Unterstützung für eine sofortige Fehlerbehandlung ("Quickfix"). So können Sie die Stellen im Code, die bei der Analyse gemeldet werden, schnell finden und beheben.

Um die Lesbarkeit des Quellcodes zu verbessern, können Sie Benennungskonventionen festlegen und deren Einhaltung überprüfen.

Um die Qualität des Codes zu beurteilen, können Sie außerdem die aus dem Quellcode ermittelten Metriken einsehen. Beispiele hierfür sind die McCabe-Metrik als Maß für die Testbarkeit von Code oder die kognitive Komplexität als Maß für die Lesbarkeit und Wartbarkeit von Quellcode. Die in der statischen Analyse durchgeführte Datenflussanalyse basiert auf dem Prinzip der konstanten Ausbreitung.

Application example

The Pro Static Analysis tool can be used to check the source code during programming or for debugging purposes in order to identify possible weaknesses of the code. Usage and benefits of the Pro Static Analysis tool are described in the application example ‎⮫ Pro Static Analysis tool.

Mit dem Menübefehl Erstellen → Statische Analyse durchführen aktivieren Sie die statische Analyse explizit.
Im Dialogfeld Einstellungen aktivieren Sie eine statische Analyse, die automatisch nach jeder Codekompilierung durchgeführt wird.
Sie verwenden Pragma-Anweisungen, um einzelne Teile oder Blöcke von der Analyse auszuschließen.
Im Dialogfeld Regeln können Sie feststellen, welche Regeln konfiguriert sind, wie sie aktiviert werden und wann die Prüfungen der jeweiligen Regel ablaufen. Dort aktivieren Sie die Regeln, die für Sie relevant sind.
Im Dialog Namenskonventionen weisen Sie jedem Datentyp ein Präfix zu, wie es in den Deklarationen erwartet wird. Abweichungen werden berichtet.
In den Einstellungen für die statische Analyse: Metriken aktivieren Sie die für Sie relevanten Metriken.
Mit dem Befehl 'Kognitive Komplexität für aktuellen Editor anzeigen' werden die ermittelten Inkremente zeilenweise im aktiven Editor angezeigt.
Der Befehl 'Show Values of Constant Propagation for Current Editor' analysiert den Datenfluss im aktiven Editor im Detail und zeigt ihn Pfad für Pfad an. Je nach dem sind Verbesserungen des Codes möglich.