CODESYS Static Analysis CODESYS GmbH 版本：V5.0.0.0，2024 年 4 月 www.codesys.cn 最后更新: Wed, 24 Apr 2024 09:27:46 本节内容如下 :
CODESYS Static Analysis 和 CODESYS Static Analysis ，可以使用定义的规则、命名约定或度量来执行 IEC 源代码的检查。因此，可能的开发问题的迹象会突出显示，并且可以在现场测试之前识别和纠正错误。这可以在应用程序开发和错误检查期间节省大量时间。 在 CODESYS Static Analysis ，已经实现了 100 多个规则（其中一些可以参数化）。可
概述 重要 仅对当前项目中的应用程序代码进行静态分析。不分析库及其源代码。 CODESYS Static Analysis 在实施过程中帮助您编写更好、更易读的代码，并识别冲突或不受支持的程序部分。特别是，揭示了潜在的错误来源。例如，识别仍包含测试代码的位置。或者发现在取消引用之前未检查 0 的指针。或者（与 SA0119 规则）分析使用面向对象的位置并移植到另一个不支持面向对象的开发环境，从而使
配置和运行静态分析 使用下面的基本示例项目，您将找到配置和运行静态分析的最重要的步骤和选项。 要求： 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
