定义命名约定 在里面 静态分析设置 对话框,在 命名约定 选项卡,定义您将在代码中遵循的命名约定。您可以根据其范围和限定符为 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
对话框:静态分析设置:禁止符号 功能 :在对话框中定义项目代码中不能使用的关键字和符号。有关更多信息,请参阅: 配置和运行静态分析 称呼 : 项目 → 项目设置 菜单, 静态分析 类别, 打开配置对话框 关联 构建→静态分析→设置 菜单 要求 : 这 CODESYS Static Analysis 包已安装。 一个项目已打开。 输入线 双击行打开行编辑器以指定关键字或符号。 :输入助手打开以选择关
对话框:选项:自动格式化程序 调试模式 仅当您的 CODESYS 实例以调试模式启动。 为此,请使用以下命令行调用启动您的实例: codesys.exe --debug 象征: 功能 :在此对话框中配置 IEC 代码的自动格式化。 称呼 : 工具 → 选项 菜单, 自动格式化程序 类别 自动格式化程序 一般的 声明与实施 挤压空行 true (默认):删除空行。 false :保留空行。 界面 宣