SA0026: 可能的截断字符串 检测未使用足够字符串长度的字符串分配和字符串初始化 理由：当分配不同长度的字符串时，字符串可能会被截断。这可能会产生意想不到的结果。 重要性：中等 例 37 . 例子 PROGRAM PLC_PRG VAR strVar1 : STRING[10]; strVar2 : STRING[6]; strVar3 : STRING[6] := 'abcdefghi';
SA0027：标识符的多种用途 检测项目范围内变量或对象 (POU) 的名称/标识符的多次使用。 对于枚举，将考虑限定名称。 理由：阅读代码时，相同的名称可能会造成混淆。如果意外访问了错误的对象，它们可能会导致错误。定义并遵循命名约定以避免出现此类情况。 检测到以下情况： 枚举的名称与应用程序或集成库中的另一个枚举的名称相同。 变量的名称与应用程序或集成库中的另一个对象的名称相同。 变量的名称与应
SA0028：重叠的内存区域 检测两个或多个变量保留相同内存的代码行。 理由：当两个变量保留相同的内存时，代码可能会出现意外的结果。应不惜一切代价避免这种情况。如果您无法避免在不同的解释中使用某个值（例如，一次作为 DINT 还有一次作为 REAL ），那么你应该定义一个 UNION 。您还可以使用指针访问不同类型的值，而无需转换该值。 重要性：高 例 39 . 例子 PROGRAM PLC_PR
SA0032：未使用的枚举常量 检测编译程序代码中未使用的枚举常量 理由：未使用的枚举常量不必要地增加了枚举定义的大小，并且在阅读程序时可能会造成混淆。 PLCopen规则：CP24 重要性：低 提示 如果一个项目中存在多个应用程序，则仅影响当前活动应用程序下方的对象。如果只有一个应用程序，那么公共 POU 池中的对象也会受到影响。 例 41 . 例子 TYPE My_Enum : ( one :
SA0033：未使用的变量 检测已声明但未在已编译程序代码中使用的变量 理由：未使用的变量使程序的可读性和可维护性降低。未使用的变量不必要地填充内存并在初始化期间不必要地浪费运行时间。 重要性：中等 PLCopen规则：CP22/CP24 提示 对于 GVL 变量：如果一个项目中存在多个应用程序，则仅影响当前活动应用程序下方的对象。如果只有一个应用程序，那么公共 POU 池中的对象也会受到影响。
SA0180：索引范围未覆盖整个数组 检测索引范围不完全覆盖的数组 数组通常在循环中处理，其中循环索引对数组进行索引，以便数组的所有组件都可以无间隙地跳转到。如果循环索引和数组索引在所有维度上都相同，则给出此值。如果索引范围没有完全覆盖数组，则表明数组中存在未处理的组件。 重要性：中 例 130 . 例子 {attribute 'do-analysis'} PROGRAM PLC_PRG VAR
SA0072：计数器变量的无效使用 检测计数器变量的使用 FOR 环形 理由：在 a 中操作计数器变量 FOR 循环很容易导致无限循环。要防止针对计数器变量的特定值执行循环，请使用 CONTINUE 或者只是一个 IF 。 重要性：高 PLCopen 规则：L12 例 79 . 例子 PROGRAM PLC_PRG VAR_TEMP iIndex : INT; END_VAR FOR iIndex
SA0076: 缺少枚举常量 确定每个枚举常量是否用作条件 CASE 语句并在 a 中查询 CASE 分支。 理由：防御性编程需要处理枚举的所有可能值。如果特定枚举值不需要执行操作，则应添加注释以明确指出这一点。然后，代码的读者很清楚，该值并没有被简单地遗忘。 重要性：低 例 82 . 例子 TYPE My_Enum : ( red := 1, blue := 2, green := 3, bla
SA0081：上边界不是常数 检测到 FOR 未使用常量值定义上限的语句 理由：如果循环的上限是一个变量值，那么就不再可能看到循环执行的频率。这可能会导致运行时出现严重问题。最坏的情况是无限循环。 重要性：高 例 85 . 例子 PROGRAM PLC_PRG VAR i:INT; iBorder1: INT := 10; iBorder2: INT := 10; iCounter: INT; E
SA0090：函数结束前的 RETURN 语句 检测代码位置 RETURN 语句不是函数、方法、属性或程序中的最后一个语句。地点 RETURN 存在于一个 IF 还检测到分支。 理由：A RETURN 在代码中导致代码的可维护性、可测试性和可读性变差。一个 RETURN 在代码中很容易被忽略。每次之前 RETURN ，经常忘记插入退出函数时应始终执行的代码。 重要性：中等 PLCopen规则：CP
