Precompile

Verfügbar ab TwinCAT 3.1 Build 4026

Die meisten Regeln vom Static Analysis können bereits während der Vorkompilierung (Precompile) geprüft werden. Für das Auffinden solcher Regelverletzungen ist dabei keine explizite Ausführung der Statischen Analyse notwendig, sondern die Überprüfung findet bereits auf Basis der Precompile-Informationen während des Editierens statt. Die Überprüfung einer Regel während der Vorkompilierung findet nur statt, falls die Regel in den Einstellungen vom Static Analysis aktiviert ist. Beachten Sie diesbezüglich die Möglichkeiten zur Konfiguration des Precompile-Verhaltens, siehe: Regeln.

Wenn eine Regelverletzung während der Vorkompilierung festgestellt wird, wird diese sofort durch Unterschlängelung im Deklarationseditor oder im ST-Editor angezeigt. Zudem erscheinen die Precompile-Meldungen zusätzlich in der Fehlerliste (siehe auch: Fehlerliste).

Verfügbare Regeln

Nicht verfügbar:

Bitte beachten Sie, dass die folgenden Regeln nicht während der Vorkompilierung geprüft werden können.

• SA0004: Mehrfacher Schreibzugriff auf Ausgang
• SA0006: Schreibzugriff aus mehreren Tasks
• SA0016: Lücken in Strukturen
• SA0027: Mehrfachverwendung des Namens
• SA0028: Überlappende Speicherbereiche
• SA0042: Verwendung unterschiedlicher Zugriffspfade
• SA0100: Variablen größer als <n> Bytes
• SA0103: Gleichzeitiger Zugriff auf nicht-atomare Daten
• SA0105: Mehrfache Instanzaufrufe
• SA0150: Verletzung von Unter- oder Obergrenzen der Metriken
• SA0160: Rekursive Aufrufe
• SA0175: Verdächtige Operation auf Zeichenkette

Verfügbar:

Alle anderen Regeln werden auf Basis der Precompile-Informationen überprüft.