Detecta las desreferencias de punteros que se utilizan para la inicialización en la parte de la declaración
Justificación: Los punteros y las referencias no deben utilizarse para inicializaciones, ya que esto puede dar lugar a violaciones de acceso si el puntero no se ha inicializado.
Importancia: Medio
Ejemplo
FUNCTION_BLOCK FB_Test VAR_INPUT refStruct: REFERENCE TO ST_Test; END_VAR VAR xPointer : BOOL := refStruct.a; // SA0124 iCount : INT; END_VAR --> SA0124: Dereference access in initialisation