编译指示和属性 CODESYS Static Analysis 提供用于激活或停用个别规则或命名约定以进行静态代码分析的编译指示和属性。 要求:在项目设置中激活或定义规则或约定。 属性被插入到 POU 的声明部分以禁用整个编程对象的特定规则。 Pragma 用于 POU 的实现部分,以停用各个代码行的特定规则。一个例外是规则 164,它也可以在声明部分关闭。 提示 在项目设置中停用的规则无法通过编
命令:运行静态分析 象征: 功能 :该命令启动活动应用程序的静态分析,并在表格中显示所有 POU 的指标。 称呼 : 构建 → 静态分析 菜单 在代码分析过程中, CODESYS Static Analysis 生成代码就像 构建 → 生成代码 命令。分析结果显示为错误 和警告 在消息视图中( 建造 类别)。数字是指对应的 规则 因为它们是在项目设置中定义的。显示消息的语法是 SA<规则编号>:<
命令:设置 功能 :该命令打开 静态分析设置 对话。 称呼 : 构建 → 静态分析 菜单 要求 : 包裹 CODESYS Static Analysis 已安装。 一个项目已打开。 本节内容如下 :
命令:计算并导出标准指标 功能:直接计算并导出标准指标,无需在编辑器中显示指标表。在标准文件对话框中为 CSV 导出文件指定合适的名称。 呼叫:默认情况下,该命令在任何菜单中均不可用。 或者,您也可以使用 显示标准指标 命令在编辑器中显示指标。除此之外,编辑器还提供了 导出表 上下文命令。 自定义菜单 提供命令 点击 工具 → 自定义 。 这 菜单 选项卡打开。首先,您需要定义命令的菜单位置。在这
命令:检测克隆 功能 :命令扫描打开的程序代码 CODESYS 复制代码的项目,然后打开 克隆检测结果 查看以显示检测到的克隆代码块。在这个过程中,只有大于特定大小的代码块才被认为是克隆。非常小的代码块不会显示为克隆。 在这种情况下,还要注意 提取功能 和 检测代码克隆 指示。 称呼 : 构建 → 静态分析 菜单 静态分析 上下文菜单 要求 : 这 CODESYS Static Analysis
对话框 对于配置静态代码分析的对话框,单击 构建→静态分析→设置 .要求:一个 CODESYS 项目必须打开。 本节内容如下 :
对话框:静态分析设置:设置 功能 :在对话框中,选择自动 静态分析 ,并将静态分析的项目设置保存或加载为 CSA 文件。 项目 → 项目设置 菜单, 静态分析 类别, 打开配置对话框 关联 构建→静态分析→设置 菜单 要求 : 这 CODESYS Static Analysis 包已安装。 一个项目已打开。 自动执行静态分析 : CODESYS Static Analysis 在每次代码生成时自动
SA0001:无法访问的代码 检测未执行的代码行,例如由于 RETURN 或者 CONTINUE 陈述 理由:应始终避免无法访问的代码。这 测试 通常表明测试代码仍然存在,应该删除。 重要性:高 PLCopen 规则:CP2 例 14 . 例子 PROGRAM PLC_PRG VAR xReturn_Before_End: BOOL; xContinue_In_Loop_FUN: BOOL; iC
SA0002:空对象 检测不包含任何代码的 POU、GVL、数据类型声明或接口 理由:应该避免空对象。它们通常表明对象尚未完全实现。例外:在某些情况下,当功能块只应由接口使用时,没有在功能块主体中指定代码。在其他情况下,创建一个方法只是因为接口需要该方法,而对该方法没有合理的实现。无论如何,这种情况都应该被评论。 重要性:中等 本节内容如下 :