Rileva le assegnazioni a puntatori che non sono né indirizzi (operatore‎ADR‎, variabili puntatore) né costanti. ‎0‎

Giustificazione: Se un puntatore contiene un valore che non è un indirizzo valido, si verifica un'eccezione di violazione dell'accesso quando si dereferenzia il puntatore.

Importanza: Alto

PROGRAM PLC_PRG
VAR
	pInt : POINTER TO INT;
	dwAddress : DWORD;  
END_VAR
dwAddress := dwAddress + DWORD#1;
pInt := dwAddress; // SA0017

--> SA0017: Non-regular assignment