Static Analysis 版本V5.0.0.0 [...] 传播的结果用于各种检查。例如，它检查指针是否不等于 0，或者 [...] ; testArray : ARRAY [0

xVar : BOOL:= %IX0.0 [...] _VAR //Implementation xVar := %IX0.0 [...] access %QX0.0 := x

可能被零除的代码位置 理由：除以 0 导致错误。应始终首先检查要除法的变量是否为 0。 重要性：高 例 48 [...] Val2 <> 0 THEN iVal1 := i

引用在使用之前应该检查<> 0。否则 [...] instNoInitITF <> 0 [...] interface can't be 0 END

; END_VAR xVar := %IX0.0; %QX0.0 := xVar; %MX0 [...] 0047：访问直接地址“%IX0.0” SA

Var1 AT %IX0.0 : BOOL [...] 1 : BYTE; xVar2 AT %QX0.0 [...] 使用直接地址“%IX0.0” SA0048：声明

发现在取消引用之前未检查 0 的指针。或者（与 SA

SA0017：对指针变量的异常赋值 检测对既不是地址的指针的分配（ ADR 运算符、指针变量）或常量 0

移位操作超出数据类型宽度，则为常数 0 生成。 如果

0055 WHILE byTest >= 0 DO