SA0053：按位移位太大 在操作数按位移位（bit shift）的情况下，检测是否超出了操作数的数据类型宽度 理由：如果移位操作

Static Analysis 对处理器的寄存器宽度执行操作 [...] Error 是 TRUE 在这种情况下，因为操作 [...] 位操作执行，并且

德摩根的否定 AND 操作员 <表达1> OR [...] 德摩根的否定 OR 操作员 <表达> NOT [...] *) <> b 评论被保留。这尤其适用于交换操作

代码的作者或读者可以假设除法将作为 REAL 操作，在这种情况下，结果 [...] 值 REAL#0 . 为了避免这种情况，请使用强制转换来确保该操作

SA0072：计数器变量的无效使用 检测计数器变量的使用 FOR 环形 理由：在 a 中操作

SA0145：可能使用未初始化的引用 检测任何在使用前可能未初始化且操作员未检查的参考变量 __ISVALIDREF .该规则适用于 POU 的实

：这是一个性能警告。在循环中执行但在每个循环中执行相同操作

SA0024：无类型文字/常量 标识属于操作一部分的无类型文字 理由：无类

性编程需要处理枚举的所有可能值。如果特定枚举值不需要执行操作，则应

结构在内存中可能会有不同的布局。然后代码可以根据平台执行不同的操作