Skip to main content

SA0017:对指针变量的异常赋值

检测对既不是地址的指针的分配(ADR 运算符、指针变量)或常量 0

理由:如果为指针分配的值不是有效地址,则指针的取消引用会导致“访问冲突异常”。

重要性:高

30. 例子
PROGRAM PLC_PRG
VAR
    pInt : POINTER TO INT;
    dwAddress : DWORD;
END_VAR
dwAddress := dwAddress + DWORD#1;
pInt := dwAddress; // SA0017

输出在 留言 看法:

  • sa_icon_message.png SA0017:对指针变量的异常赋值