SA0053：按位移位太大 在操作数按位移位（bit shift）的情况下，检测是否超出了操作数的数据类型宽度 理由：如果移位操作超出数据类型宽度，则为常数 0 生成。 如果旋转移位超过数据类型宽度，则难以读取。因此，应缩短旋转值。 重要性：高 例 62 . 例子 PROGRAM PLC_PRG VAR byTemp1 : BYTE; wTemp2 : WORD; dwTemp3 : DWORD;

SA0055：无符号操作数的不必要比较 检测与无符号操作数的不必要比较。无符号数据类型永远不会小于零。这可以用作符号检查。 理由：使用此检查检测到的比较会产生恒定的结果，并且表明代码中存在错误。 重要性：高 例 64 . 例子 PROGRAM PLC_PRG VAR byTest: BYTE; END_VAR // SA0055 WHILE byTest >= 0 DO byTest := byT

SA0062：在表达式中使用 TRUE 或 FALSE 检测文字的使用 TRUE 或者 FALSE 在表达式中 理由：布尔文字的运算 TRUE 或者 FALSE 应避免重复计算并每次返回相同的结果。这种表达是多余的，应该被替换。它的存在表明存在错误。无论如何，表达式都会不必要地增加程序运行时的负担。 重要性：中等 例 72 . 例子 PROGRAM PLC_PRG VAR xTemp1, xTem

SA0019：隐式指针转换 检测隐式生成的指针转换 理由：在 CODESYS ，指针没有严格类型化，它们可以以任何方式相互赋值。这经常被使用，因此编译器不会报告。但是，它也可能意外地导致意外访问。如果您指定一个 POINTER TO BYTE 到一个 POINTER TO DWORD ，那么您可能会无意中使用后一个指针覆盖内存。因此，请务必检查此规则，并在您故意想要访问不同类型的值的情况下阻止该消

SA0130：隐式扩展转换 检测算术运算期间隐式执行从较小数据类型到较大数据类型的转换的代码位置 理由：当源类型的值范围完全包含在目标类型的值范围内时，编译器允许不同类型的任何赋值。但是，编译器将尽可能晚地构建对代码的转换。对于类型的赋值 lint := dint * dint ，编译器仅在乘法之后执行隐式转换： lint := TO_LINT(dint * dint); 因此溢出被截断。如果你想

SA0133：显式缩小转换 检测从较大数据类型到较小数据类型的显式转换 理由：大量类型转换可能表明您为变量选择了错误的数据类型。因此，有一些编程指南要求对数据类型转换提供明确的理由。 重要性：低 例 55 . 例子 PROGRAM SA0133 VAR siVar:SINT; diVar:DINT; liVar:LINT; byVar:BYTE; uiVar:UINT; dwVar:DWORD;

SA0134：显式有符号/无符号转换 检测从有符号数据类型到无符号数据类型的显式转换，反之亦然 理由：过度使用类型转换可能表明为变量选择了错误的数据类型。因此，有一些编程指南要求对数据类型转换提供明确的理由。 重要性：低 例 56 . 例子 PROGRAM PLC_PRG VAR byVar :BYTE; udiVar : UDINT; uliVar : ULINT; lwVar : LWORD;

SA0047：访问直接地址 检测实现代码中的直接地址访问 理由：符号编程总是更可取的。变量的名称也可以具有含义。地址不能表明它的用途。 重要性：高 PLCopen 规则：N1 / CP1 例 58 . 例子 PROGRAM PLC_PRG VAR xVar : BOOL; byVar : BYTE; END_VAR xVar := %IX0.0; %QX0.0 := xVar; %MX0.1 :=

SA0048：直接地址的 AT 声明 检测到 AT 直接地址声明 在代码中使用直接地址是有问题的，因为地址会出现在多个位置： 首先在控制器配置中定义物理对象到地址的分配 程序中的第二个变量被分配给这些地址。 如果由于配置更改而重新定位地址，则需要将变量重新分配给程序中完全不同位置的地址。这是错误的原因并导致代码的可读性和可维护性较差。因此，最好在设备编辑器的 I/O 映射中执行所有分配。 重要性：

SA0051：对 BOOL 变量的比较操作 检测类型变量的比较操作 BOOL 理由： CODESYS 允许进行这些类型的比较。但它们非常不寻常并且可能令人困惑。 IEC 61131-3 标准没有提供这些比较。通过避免它们，您可以提高代码到其他开发系统的可移植性。 重要性：中等 例 60 . 例子 PROGRAM PLC_PRG VAR xBool1, xBool2 : BOOL; xResult