Funktionsumfang: Light vs. Full

Ohne die Engineering-Lizenz für TE1200 können Sie die lizenzfreie Variante des Static Analysis (Static Analysis Light) nutzen, welche einige Einschränkungen beinhaltet (siehe Tabelle unten). Anhand der kostenfreien Light-Variante können Sie sich – auf Basis eines stark reduzierten Funktionsumfangs – beispielsweise mit dem prinzipiellen Handling des Produkts vertraut machen.

Static Analysis Light vs. Static Analysis Full

Nachfolgend finden Sie eine Übersicht über den unterschiedlichen Funktionsumfang der lizenzfreien und der lizenzpflichtigen Variante vom Static Analysis.

Funktionsaspekt

Static Analysis Light
(ohne TE1200-Lizenz)

Static Analysis Full
(mit TE1200-Lizenz)

Lizenz erforderlich

Nein, kostenfrei nutzbar

Ja, TE1200-Lizenz erforderlich

(Regel-) Konfiguration speichern/exportieren und laden/importieren

Nicht möglich, gekoppelt an SPS-Projekteigenschaften

Möglich

(mit Hilfe der Schaltflächen Laden/Speichern in den Einstellungen)

Kopplung der Ausführung an den Übersetzungsprozess

Ja, nicht konfigurierbar

Konfigurierbar

(mit Hilfe der Option Statische Analyse automatisch durchführen in den Einstellungen;

Manuelle Ausführung mit Hilfe des Befehls Befehl 'Statische Analyse durchführen')

Überprüfung von nicht genutzten Objekten (z.B. innerhalb eines Bibliotheksprojekts)

Nicht möglich

Möglich

(mit Hilfe des Befehls Befehl 'Statische Analyse durchführen [Überprüfe alle Objekte]')

Maximale Anzahl an berichteten Fehlern

500 (nicht konfigurierbar)

(Weiterführende Informationen zu der Bedeutung von 500 als maximale Fehleranzahl finden Sie in den Einstellungen)

Konfigurierbar

(mit Hilfe der Einstellung Maximale Anzahl an Fehlern in den Einstellungen)

Maximale Anzahl an berichteten Warnungen

Ausgabe von Warnungen nicht möglich (siehe folgende Zeile)

Konfigurierbar

(mit Hilfe der Einstellung Maximale Anzahl an Warnungen in den Einstellungen)

Regeln: Aktivierungsmöglichkeiten

  • Aktiv und Ausgabe als Fehler
  • Inaktiv
  • Aktiv und Ausgabe als Fehler
  • Aktiv und Ausgabe als Warnung
  • Inaktiv

Regeln: Umfang

7 Kodierregeln

  • SA0033: Nicht verwendete Variablen
  • SA0028: Überlappende Speicherbereiche
  • SA0006: Schreibzugriff auf mehrere Tasks
  • SA0004: Mehrfacher Schreibzugriff auf Ausgang
  • SA0027: Mehrfachverwendung des Namens
  • SA0167: Temporäre Funktionsbausteininstanzen
  • SA0175: Verdächtige Operation auf String

Mehr als 100 Kodierregeln

Regeln: Precompile-Unterschlängelung, QuickFix

Nicht verfügbar

Verfügbar

Namenskonventionen

Nicht verfügbar

Verfügbar

Metriken

Nicht verfügbar

Verfügbar

Unzulässige Symbole

Nicht verfügbar

Verfügbar

Pragmas und Attribute zur temporären Deaktivierung von Regeln

Ja, im Light-Umfang verfügbar:

  • Pragma {analysis ...}
  • Attribut {attribute 'no-analysis'}
  • Attribut {attribute 'analysis' := '...'}

Ja, im Full-Umfang verfügbar:

  • Pragma {analysis ...}
  • Attribut {attribute 'no-analysis'}
  • Attribut {attribute 'analysis' := '...'}
  • Attribut {attribute 'naming' := '...'}
  • Attribut {attribute 'nameprefix' := '...'}
  • Attribut {attribute 'analysis:report-multiple-instance-calls'}