检测任何在使用前可能未初始化且未被操作符__ISVALIDREF 检查的引用变量。该规则适用于 POU 的执行部分。规则 SA0124 适用于声明。
理由访问引用前应检查其有效性，因为在访问过程中可能会出现访问违规。
重要性：高
示例
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'