SA0017：对指针变量的异常赋值 检测对既不是地址的指针的分配（ ADR 运算符、指针变量）或常量 0 理由：如果为指针分配的值不是有效地址，则指针的取消引用会导致“访问冲突异常”。 重要性：高 例 29 . 例子 PROGRAM PLC_PRG VAR pInt : POINTER TO INT; dwAddress : DWORD; END_VAR dwAddress := dwAddres
SA0006：来自多个任务的写访问 检测由多个任务写入的变量。 理由：在多个任务中写入的变量可能会意外更改其值。这可能会导致混乱的情况。如果同时将变量写入两个任务，则字符串变量（在某些 32 位系统上还有 64 位整数变量）甚至会达到不一致的状态。 例外：在特定情况下，可能需要多个任务编写一个变量。例如，使用信号量来确保访问不会导致不一致的状态。 重要性：高 PLCopen规则：CP10 例 17
SA0029：代码中的符号与声明不同 检测标识符的符号与其声明中的符号不同的代码位置 理由：IEC 61131-3 标准将标识符定义为不区分大小写。这意味着变量声明为“ varx “也可以用作” VaRx ” 在代码中。但是，这是令人困惑和误导的，应该避免。 重要性：中等 例 40 . 例子 一个 PLC_PRG POU 和一个 fnc (函数) POU 存在于设备树中。 PROGRAM PLC_
SA0073：使用不充分的计数器变量 检测非临时变量的使用 FOR 循环。 理由：这是一个性能警告。每次调用 POU 时都会初始化一个计数器变量。您可以将此变量创建为临时变量 ( VAR_TEMP ）。访问它可能会更快，并且该变量不会占用任何永久内存。 重要性：中等 PLCopen规则：CP21/L13 例 80 . 例子 PROGRAM PLC_PRG VAR nIndex : INT; iVa
SA0075：缺少 ELSE 检测到 CASE 没有的陈述 ELSE 分支 理由：防御性编程需要包含一个 ELSE 在每个分支 CASE 陈述。如果在里面无事可做 ELSE 分支，然后包含注释以表明这一点。代码的读者很清楚，这个案例并没有被简单地遗忘。 重要性：低 PLCopen 规则：L17 重要 For CASE 使用带有属性的枚举的语句 strict 并且所有枚举常量都用在 CASE 使用
SA0077：类型与 CASE 表达式不匹配 检测条件数据类型与条件数据类型不匹配的代码位置 CASE 分支 理由：如果数据类型之间 CASE 变量和 CASE 本身不匹配，则这可能表示错误。 重要性：低 例 83 . 例子 TYPE My_Enum : ( eins := 1, zwei := 2, drei := 3, vier := 4 ); END_TYPE PROGRAM PLC_PRG
SA0078：缺少 CASE 分支 检测到 CASE 没有的陈述 CASE 分支，只有一个 ELSE 陈述 理由：A CASE 没有 case 的语句会浪费执行时间并且难以阅读。 重要性：中等 例 84 . 例子 PROGRAM PLC_PRG VAR iVar : INT; xTemp : BOOL; END_VAR iVar := iVar + INT#1; //in the followin
SA0056：常数超出有效范围 检测运算符有效范围之外的文字（常量） 说明：在将某个值与超出该值范围的常数进行比较时发出该消息。然后比较不断返回 TRUE 或者 FALSE .这是编程错误的指示。 重要性：高 例 65 . 例子 PROGRAM PLC_PRG VAR byTestVar: BYTE; END_VAR WHILE byTestVar >= 260 DO byTestVar := b
SA0059: 比较操作总是返回 TRUE 或 FALSE 检测与结果始终为的文字的比较 TRUE 或者 FALSE ，并且可以在编译期间进行处理。 理由：持续产生的操作 TRUE 或者 FALSE 是编程错误的指示。 重要性：高 例 69 . 例子 PROGRAM PLC_PRG VAR byTemp1 : BYTE; END_VAR WHILE byTemp1 <= 255 DO byTemp
SA0060：零用作无效操作数 检测操作数具有以下值的操作 0 导致无效或无意义的操作 理由：这种表达方式可能表明存在编程错误。在任何情况下，它都会不必要地浪费运行时间。 重要性：中等 例 70 . 例子 PROGRAM PLC_PRG VAR byTemp1 : BYTE; wTemp2 : WORD; dwTemp3 : DWORD; END_VAR byTemp1 := byTemp1 +
