SA0163：嵌套注释 检测嵌套评论 理由：应避免嵌套注释，因为它们难以阅读。 重要性：低 PLCopen 规则：C3 例 120 . 例子 {attribute 'do-analysis'} (* That is (* nested comment 1 *) *) PROGRAM PLC_PRG VAR (* That is // nested comment 2 comment *) iVal

SA0164：多行注释 检测编码为的多行注释 (* comment *) .仅编码为的单行注释 // comment 被允许。 理由：一些编程指南禁止代码中的多行注释，因为注释的开头和结尾可能会丢失，并且结束注释括号可能会被意外删除。 提示 您可以通过编译指示停用此检查 analysis ，也用于声明部分的注释。 重要性：低 PLCopen规则：C5 例 121 . 例子 {attribute '

SA0165：调用其他 POU 而非程序的任务 检测调用功能块或函数而不是程序的任务 理由：此规则是 PLCopen 编码指南的一部分。因此，还检查了合规性 CODESYS .我们没有看到任何数据一致性问题 CODESYS 如果任务会调用程序以外的 POU。但是，如果要将代码移植到其他平台，则可能会出现问题。 重要性：低 PLCopen规则：CP16 任务被插入到任务配置下方。要调用的 POU 在

SA0166：最大。输入/输出/输入输出变量的数量... 检测是否有定义数量的输入变量 ( VAR_INPUT ), 输出变量 ( VAR_OUTPUT ） 或者 VAR_IN_OUT 在 POU 中超出变量。在里面 项目设置 ，双击规则条目以打开一个对话框，您可以在其中定义最大数量。 理由：这是关于检查个人编程指南。许多编程指南都规定了 POU 参数的最大数量。太多的参数使代码不可读，POU 难

SA0167：临时功能块实例 检查检测声明为临时变量的功能块实例。这会影响在方法或函数中声明的实例，或者 VAR_TEMP ，因此在每个处理周期或每个 POU 调用中重新初始化。 理由： 功能块的状态通常在多个 PLC 周期内维持。堆栈上的实例仅在函数调用期间存在。因此，创建实例作为临时变量几乎没有意义。 其次，功能块实例通常很大，并且需要大量堆栈空间（通常仅限于控制器）。 第三，功能块的初始化以

SA0169：忽略的输出 检测调用方法或函数时未指定的方法和函数的输出。 理由：忽略的输出可能是关于未处理错误或无意义函数调用的通知，因为未使用结果。 重要性：中等 例 126 . 例子 FUNCTION Fun1 VAR_INPUT bIn : BOOL; VAR_END VAR_OUTPUT bOut : BOOL; END_VA ; PROGRAM PLC_PRG VAR bValue :B

SA0170：不应使用输出变量的地址 检测输出变量地址所在的代码位置（ VAR_OUTPUT , VAR_IN_OUT 使用功能块的 )。 理由： 不允许按以下方式使用功能块输出的地址： 通过 ADR 操作员 通过 REF= 例外：如果在同一功能块中使用输出变量，则不会报告错误。 重要性：中等 例 127 . 例子 功能块 FB1 有 VAR_OUTPUT 多变的 iOutVal : INT; 另

SA0171：枚举应具有“strict”属性 检测未提供的枚举声明 {attribute 'strict'} 属性。 理由： {attribute 'strict'} 如果代码违反了严格的枚举编程规则，属性会导致编译器错误。默认情况下，创建新枚举时，声明会自动分配 'strict' 属性。 有关更多信息，请参阅： 数据类型：枚举 重要性：高 例 128 . 例子 TYPE COLOR : ( re

SA0172：可能尝试访问数组边界之外 检测对数组边界之外的数组索引的可能访问。 通常会超出数组索引的范围 FOR 循环，其中索引变量用于访问数组索引。 重要性：高 例 129 . 例子 PROGRAM Test VAR_TEMP iIndex: INT; arUSINT: Array[0..10] OF INT; END_VAR FOR iIndex := INT#0 TO INT#50 DO

SA0035：未使用的输入变量 检测未被任何功能块实例使用的输入变量 理由：未使用的变量使程序的可读性和可维护性降低。未使用的变量不必要地填充内存并在初始化期间不必要地浪费运行时间。 重要性：中等 PLCopen规则：CP24 例 43 . 例子 FUNCTION_BLOCK FB_Afb VAR_INPUT iIn1: INT; iIn2: INT; END_VAR VAR_OUTPUT iOu