Rileva le variabili di riferimento che potrebbero non essere inizializzate prima dell'uso e non sono controllate dall'operatore ‎__ISVALIDREF‎. Questa regola viene applicata nella parte attuativa dei POU. La regola SA0124 si applica alla dichiarazione.

Giustificazione: La validità di un riferimento deve essere verificata prima dell'accesso, perché durante l'accesso potrebbe verificarsi una violazione dell'accesso.

Importanza: Alto

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'