检测对既不是地址(ADR
操作符、指针变量)也不是常量的指针的赋值 0
理由如果指针包含的值不是有效地址,那么在引用指针时就会出现访问违规异常。
重要性:高
示例
PROGRAM PLC_PRG VAR pInt : POINTER TO INT; dwAddress : DWORD; END_VAR dwAddress := dwAddress + DWORD#1; pInt := dwAddress; // SA0017 --> SA0017: Non-regular assignment