Befehl: Speicher für aktive Applikation prüfen
Funktion: Der Befehl startet eine Prüfung des Speicherbereichs der aktiven Applikation.
Aufruf: Menü
Voraussetzung: Das CODESYS Memory Tools Package ist installiert. Die Applikation ist im Onlinebetrieb.
Der Speicherbereich der aktiven Applikation wird auf Folgendes überprüft:
Die Ergebnisse der Prüfung werden im Meldungsfenster ausgegeben. Verstöße gegen die Prüfungskriterien erscheinen als Warnungen.
ID der Warnung, wenn das Prüfkriterium nicht erfüllt wird | Prüfkriterium |
|---|---|
|
|
| Enumerationsvariablen dürfen nur Werte annehmen, die in der Enumeration definiert sind. |
| Variablen eines Unterbereichstyps dürfen nur Werte innerhalb des Unterbereich annehmen. |
| Alles Strings müssen 0 terminiert sein. |
| Pointer müssen immer auf Adressen zeigen, die das korrekte Alignment haben. Pointer müssen auf Speicherstellen zeigen, deren Adresse auf die Typgranularität ausgerichtet ist, oder |
| Pointer müssen auf Speicher innerhalb der Applikation zeigen. Funktionspointer im Projekt müssen in einen von CODESYS Memory Tools verwalteten Speicher zeigen. Funktionspointer auf Bibliotheksbausteine oder auf externe Bausteine sind ausgenommen, da diese in einem externem Speicher liegen können. |
| Pointer müssen auf Variablen des korrekten Typs verweisen. z. B. wenn ein |
| Interne Konsistenz von Compilerstrukturen Funktionspointeradressen müssen intern konsistent sein. |
| Interne Konsistenz von Compilerstrukturen Schnittstellenvariablen und Funktionstabellenpointer müssen intern konsistent sein. |
| Interne Konsistenz von Compilerstrukturen |
| Der heruntergeladene Code darf sich seit dem Download nicht geändert haben. Der Code von kompilierten Bausteinen muss unverändert sein. Hinweis: Kompilierte Bausteine mit Haltepunkten werden von der Prüfung ausgenommen, weil für diese der Code zur Laufzeit manipuliert wird. |
| Der Werte einer Konstanten darf sich seit dem Download nicht geändert haben. Variablen eines konstanten Blocktyps ( |
| Interne Konsistenz von Compilerstrukturen |
| Interne Konsistenz von Compilerstrukturen |
Bei einem Doppelklick auf eine Warnung erscheint die Ansicht Speicher, in der die betreffende Stelle orange markiert ist.
Die Ansicht Speicher kann auch mit dem Befehl Ansicht → Speicher geöffnet werden.
Mit Hilfe des Attributs 'memory_check' kann die Prüfung eingeschränkt werden.