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

<= 0 AND y <=4 THEN [...] Static Analysis 版本V5.0.0.0 [...] 传播的结果用于各种检查。例如，它检查指针是否不等于 0，或者

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

可能被零除的代码位置 理由：除以 0 导致错误。应始终首先检查要除法的变量是否为 0。 重要性：高 例 48 [...] Val3:INT := INT#3; iVal4

-Za-z0-9] 定义 [...] 3 : REFERENCE TO INT; iVar4 [...] Point3:=[8,5], aiPoint4

数据类型，D 表示 4 字节数据类型。 理由 [...] _Address_Type_PRG VAR iVar AT %QB0 [...] .: %QW0 xTest AT %QW

节：两个为 4 个字节 INT inputs 和 4 个字节的返回值。该设备的堆栈对齐为 4 字节，因此存在 2 字节

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

INT := ADR(array_of_int[0 [...] Short = &(array_of_short[0]) p [...] Test := ADR(udiTest) + 4

移位操作超出数据类型宽度，则为常数 0 生成。 如果 [...] ; lwTemp4 : LWORD [...] Temp3, BYTE#78); lwTemp4