配置和运行静态分析 使用下面的基本示例项目，您将找到配置和运行静态分析的最重要的步骤和选项。 要求： CODESYS Static Analysis 已安装。 示例项目 如果要重现示例项目，请创建一个标准项目并将 POU 插入设备树中的应用程序下方。然后配置连接到本地的通信设置 CODESYS Control Win V3 。 FUNCTION_BLOCK fb1 VAR_INPUT iVar_f

ST 代码中违反规则的快速修复 在里面 静态分析设置 对话框，在 规则 选项卡，您可以启用 ST 代码的规则。根据预编译信息检查这些规则的合规性。不需要显式调用静态分析来检测任何此类违反规则的行为。在预编译期间和成功编译之后，在活动的 ST 编辑器中检查是否符合规则。当发生违反规则时，它会立即在 ST 编辑器中以波浪下划线显示。此外，在消息视图中，错误消息或警告列在 预编译 看法。 有关说明，请参

定义命名约定 在里面 静态分析设置 对话框，在 命名约定 选项卡，定义您将在代码中遵循的命名约定。您可以根据其范围和限定符为 POU、变量和数据类型的标识符定义前缀。 然后，您可以让静态分析检查命名约定的合规性。 有关说明，请参阅： 检查是否符合定义的命名约定 定义前缀 在里面 静态分析设置 对话框，在 命名约定 选项卡，在输入字段中定义命名约定 字首 柱子。 字符字面量 例子： PRG_ 在 P

检测代码克隆 要求： CODESYS Static Analysis 已安装。 A CODESYS 项目已开放。该项目至少在两个编程对象中包含相同的代码块。 点击  构建 → 静态分析 → 检测克隆 。 这 克隆检测结果 视图打开。 点击 结果 . 检测到的代码克隆在窗口中显示为树形视图。 如果除了相同的代码克隆之外，还存在有偏差的代码克隆，则这些子节点在树视图中以颜色突出显示。 在树形视图中，选

不断传播 随着 CODESYS Static Analysis 版本V5.0.0.0，代码的分析基于常量传播。恒定传播的结果用于各种检查。例如，它检查指针是否不等于 0，或者数组索引是否超出有效范围。 只需了解静态分析的工作原理及其局限性，您就可以有效地支持静态分析。 不断传播 静态分析尝试根据变量的用途来确定变量的值。 例 1 . 例子 PROGRAM PLC_PRG //Declaration

参考：用户界面 本节内容如下 :

命令 本节内容如下 :

对话框：静态分析设置： 规则 功能 ：在对话框中选择 规则 在项目源代码的静态分析过程中检查。 有关更多信息，请参阅： 配置和运行静态分析 称呼 ： 项目 → 项目设置 菜单， 静态分析 类别， 打开配置对话框 关联 构建→静态分析→设置 菜单 要求 ： 这 CODESYS Static Analysis 包已安装。 一个项目已打开。 此选项卡显示可以在静态分析期间检查的所有规则的树结构。默认情况

对话框：静态分析设置 - 命名约定 功能 ：在对话框中，您 定义 变量的数据类型和范围的前缀，以及 POU 和用户定义的数据类型 (DUT) 的前缀。静态分析检查 遵守 与命名约定。当未遵守约定时，静态分析会在 留言 看法。有关更多信息，请参阅： 配置和运行静态分析 称呼 ： 项目 → 项目设置 菜单， 静态分析 类别， 打开配置对话框 关联 构建→静态分析→设置 菜单 要求 ： 这 CODESY

对话框：静态分析设置：指标 象征： 功能 ：配置指标，以便在 查看标准指标 命令被执行。 称呼 ： 项目 → 项目设置 菜单， 静态分析 类别， 打开配置对话框 关联 构建 → 静态分析 → 设置 菜单 要求 ： 这 CODESYS Static Analysis 安装包。 一个项目已打开。 有关更多信息，请参阅： 配置和运行静态分析 指标 全部可选 指标 都显示在列中。 积极的 : 为每个 PO