Detecta asignaciones a punteros que no son ni direcciones (operadorADR, variables puntero) ni constantes. 0
Justificación: Si un puntero contiene un valor que no es una dirección válida, se produce una excepción de violación de acceso al desreferenciar el puntero.
Importancia: Alta
Ejemplo
PROGRAM PLC_PRG VAR pInt : POINTER TO INT; dwAddress : DWORD; END_VAR dwAddress := dwAddress + DWORD#1; pInt := dwAddress; // SA0017 --> SA0017: Non-regular assignment