SA0052:不寻常的移位操作 检测有符号变量的移位操作(位移)。在对位域数据类型进行移位操作的情况下( Byte , DWORD , LWORD , WORD ),不报错。 理由: CODESYS 允许对有符号数据类型进行移位操作。但是,这些操作是不寻常的并且可能会令人困惑。 IEC 61131-3 标准不提供此类操作。因此,应该避免它们以增加代码对其他开发系统的可移植性。 重要性:中等 例 6
SA0101:名称长度无效 检测长度无效的名称。在里面 项目设置 ,双击规则条目以打开一个对话框,您可以在其中定义名称的长度并定义任何例外。 理由:一些编程指南指定了变量名的最小长度。此分析可用于检查合规性。 重要性:低 PLCopen规则:N6 提示 所有规则都列在 设置静态分析:规则 对话。您可以在其中双击规则 101 以打开特定于规则的配置。然后,您可以定义最小和最大字符数,并在 名称长度
SA0111:指针变量 检测类型变量 POINTER TO 理由:IEC 61131-3 标准不允许指针。 重要性:低 例 95 . 例子 VAR piTemp : POINTER TO INT; pbyTemp : POINTER TO BYTE; END_VAR 输出在 留言 看法: SA0111:不允许数据类型 POINTER 本节内容如下 :
SA0112:参考变量 检测类型变量 REFERENCE TO 理由:IEC 61131-3 标准不允许引用。 重要性:低 例 96 . 例子 VAR ref_int : REFERENCE TO INT; ref_dw : REFERENCE TO DWORD; END_VAR 输出在 留言 看法: SA0112:不允许数据类型引用 本节内容如下 :
SA0162:缺少注释 检测程序中未注释的位置 理由:许多编程指南都要求完整的注释,它增加了代码的可读性和可维护性。 重要性:低 PLCopen 规则:C2 在以下情况下需要注释: 对于变量的声明。评论位于上方或右侧。 用于程序、功能块或方法的声明。注释位于声明上方(第一行)。 例 119 . 例子 PROGRAM PLC_PRG VAR iMaxValue: INT; END_VAR 输出在 留
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; 另