对话框 对于配置静态代码分析的对话框，单击 构建→静态分析→设置 .要求：一个 CODESYS 项目必须打开

对话框，用于选择静态分析的项目设置作为文件系统中的 [...] 打开 保存静态分析配置 用于保存所有项目设置的对话框 [...] ，并将静态分析的项目设置保存或加载为

。此类声明可能会让读者感到困惑。只有一个元素的结构可以用别名类型替换 [...] “SINGLE_ENUM”：不应使用仅具有单个成员的结构 [...] “SINGLE_UNION”：不应使用仅具有单个成员的结构

。首先，声明为常量会导致检查程序更改时变量是否未更改 [...] 检测未使用写权限访问的变量，因此可以声明为常量 理由：如果变量仅在声明点写入并且仅用于读取

）。还可以检测其函数、操作、方法或属性名称在同一访问范围内使用的变量 [...] 。 说明：相同的名称在阅读代码时可能会造成混淆，如果无意中访问了错误的对象，它们可能会导致错误

。当一个实例分配给另一个实例时，所有元素和子元素都从一个实例复制到另一个实例。指向数据的指针也会被复制，但不会复制它们引用的数据，因此目标实例和源实例在赋值后包含相同的数据

访问全局数据 通过方法检测功能块对全局变量的访问 FB_Init .此变量的值取决于初始化的顺序 [...] ，如果违反规则，可能会访问未初始化的变量

SA0016：结构中的间隙 检测由当前设置的目标系统的对齐要求引起的结构或功能块中的间隙。如果可能，您应该通过使用结构元素或用虚拟元素填充它们来消除间隙。如果这是不可能的，那么您可以通过以下方式停用受影响结构的规则

理由：如果为指针分配的值不是有效地址，则指针的取消引用会导致“访问冲突异常 [...] 检测对既不是地址的指针的分配

标准不提供这种访问，因此您在编写可移植代码时应遵守此规则 [...] SA0018：异常位访问 检测对有符号变量的位访问。但是，IEC 61131-3 标准只允许对位域进行位访问和位移操作