Detecta las variables de referencia que pueden no estar inicializadas antes de su
uso y que no son comprobadas por el operador __ISVALIDREF. Esta norma se aplica en la parte de ejecución de los POU. La norma SA0124 se aplica
a la declaración.
Justificación: Debe comprobarse la validez de una referencia antes de acceder a ella, ya que puede producirse una violación de acceso durante el acceso.
Importancia: Alta
Ejemplo
PROGRAM PLC_PRG VAR_INPUT ref_iTest : REFERENCE TO INT; END_VAR ref_iTest := 99; // SA0145 IF __ISVALIDREF(ref_iTest) THEN ref_iTest := 88; END_IF --> SA0145: Possible use of not initialised reference 'ref_iTest'