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

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

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

; 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：声明

CODESYS Static Analysis CODESYS GmbH 版本：V5.0.0.0，2024 年 4

_GLOBAL g_xVar AT %QX0.0 [...] %QW0 : INT ; END [...] _iCondition < INT#0 THEN g

Var1 - lrVar2) < 0 [...] Var1 - lrVar2) < 0.1; 例外：与 0.0 本分析未报告。对于 0

_GLOBAL g_xGlob AT %QX0.0 [...] VarOut2 := INT#0; x

_GLOBAL g_xVar AT %QX0.0 [...] Condition < INT#0 THEN b [...] #0 THEN bTemp := g