Codeanalyse (Static Analysis Light)
Mit der „Statischen Codeanalyse“ prüft TwinCAT 3 PLC vor dem Laden auf das Zielsystem, ob der Quellcode eines Projekts festgelegten Kodierrichtlinien folgt.
Static Analysis Light
Die lizenzfreie Variante der statischen Codeanalyse ist das „Static Analysis Light“. Die dort konfigurierten Prüfungen werden automatisch im Anschluss an jede erfolgreiche Codeerzeugung durchgeführt. Sie definieren den gewünschten Satz an Regeln in den SPS-Projekteigenschaften in der Kategorie Static Analysis.
Abweichungen von den Regeln werden als Fehlermeldungen in der Fehlerliste ausgegeben. Jede Regel besitzt eine eindeutige Nummer. Wenn während der Statischen Analyse die Verletzung einer Regel festgestellt wird, wird die Nummer zusammen mit einer Fehlerbeschreibung gemäß folgender Syntax in der Fehlerliste ausgegeben. Die Abkürzung „SA“ weist dabei auf „Static Analysis“ hin.
Syntax: "SA<Regelnummer>: <Regelbeschreibung>"
Beispiel für Regelnummer 33 (Nicht verwendete Variablen): "SA0033: Nicht verwendet: Variable 'bSample'"
 | Bibliotheken TwinCAT analysiert nur den Applikationscode des aktuellen SPS-Projekts, die referenzierten Bibliotheken bleiben unbeachtet! |
| Keine Ausführung von Static Analysis Light im Falle von Kompilierfehlern Beachten Sie, dass das Static Analysis Light automatisch im Anschluss an den erfolgreichen Übersetzungsprozess ausgeführt wird. Falls die Codegenerierung hingegen nicht erfolgreich war, d.h. wenn der Compiler Kompilierfehler festgestellt hat, wird das Static Analysis Light nicht ausgeführt. |
| Punktuelle Ausschaltung von Prüfungen Mithilfe von Pragmas können Sie Prüfungen für bestimmte Codeteile ausschalten: Pragmas und Attribute für Static Analysis Light |
Static Analysis Full
Die lizenzpflichtige Variante der statischen Codeanalyse ist das „Static Analysis“, das verglichen mit der Light-Version über einen stark erweiterten Funktions- und Konfigurationsumfang verfügt. Die statische Codeanalyse kann manuell angestoßen oder automatisch mit der Codeerzeugung durchgeführt werden. Weiterführende Informationen zu dieser Erweiterung finden Sie in der Dokumentation „TE1200 | TC3 PLC Static Analysis“.