概述
重要
仅对当前项目中的应用程序代码进行静态分析。不分析库及其源代码。
CODESYS Static Analysis 在实施过程中帮助您编写更好、更易读的代码，并识别冲突或不受支持的程序部分。特别是，揭示了潜在的错误来源。例如，识别仍包含测试代码的位置。或者发现在取消引用之前未检查 0 的指针。或者（与 SA0119 规则）分析使用面向对象的位置并移植到另一个不支持面向对象的开发环境，从而使其不可能。这样就可以保证代码的可移植性。
对于静态分析根据预编译信息报告的错误，支持立即错误处理（“Quickfix”）。这使您可以快速查找并修复分析期间报告的代码中的位置。
为了提高源代码的可读性，您可以定义命名约定并检查合规性。
此外，为了评估代码的质量，您可以查看从源代码确定的指标。示例包括作为代码可测试性度量的 McCabe 度量，或作为源代码可读性和可维护性度量的认知复杂性。静态分析中执行的数据流分析基于恒定传播原理。
随着 创建 → 执行静态分析 菜单命令，您显式激活静态分析。
在里面 设置 对话框中，您可以启用每次代码编译后自动执行的静态分析。
你用 编译指示语句 从分析中排除单个部分或代码块。
在里面 规则 对话框中，您可以了解配置了哪些规则、如何激活它们以及何时对相应规则运行检查。您可以在那里激活与您相关的规则。
在里面 静态分析设置 – 命名约定 对话框中，您可以按照声明中的预期为每个数据类型分配一个前缀。报告偏差。
在里面 静态分析设置：指标 对话框中，您激活与您相关的指标。
随着 显示当前编辑者的认知复杂性 命令后，确定的增量将在活动编辑器中逐行显示。
这 显示当前编辑器的恒定传播值 命令详细分析活动编辑器中的数据流并按路径显示它。在此基础上，代码改进是可能的。