SA0145 : Utilisation possible d'une référence non initialisée

Récupère toutes les variables de référence utilisées qui ne peuvent pas être initialisées avant utilisation et non par l'opérateur __ISVALIDREF être vérifié. Cette règle est appliquée dans la partie implémentation des POU. Il y a une règle pour la déclaration SA0124.

Justification : La validité d'une référence doit être vérifiée avant l'accès, car une violation d'accès peut survenir lors de l'accès.

Importance : Élevée

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