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
Esempio
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'