SA0057：可能丢失小数位 检测可能丢失小数位的语句 理由：以下类型的一段代码（ diTemp2 := 1 rTemp1 := TO_REAL(diTemp2 / DINT#2) ) 可能会导致误解。这行代码的作者或读者可以假设除法将作为 REAL 操作，在这种情况下，结果将是 REAL#0.5 .然而，事实并非如此。它是一个整数运算。结果被转换为 REAL 和 rTemp1 获取值 REAL#

指标 提供的指标的详细描述 CODESYS Static Analysis 提示 这 代码大小 , 尺寸可变 , 堆栈大小 ， 和 通话次数 仅报告项目中集成的库中的 POU 的指标。 指标：代码大小（字节数） 类别： 信息丰富、效率 功能块为应用程序代码贡献的字节数 该数量还取决于代码生成器。例如，ARM 处理器的代码生成器通常比 x86 处理器的代码生成器生成更多字节。 指标：可变大小（字节数

SA0058：对枚举变量的操作 检测对枚举数据类型的变量的操作 允许赋值。 理由：枚举不应用作普通整数值。或者，可以定义别名数据类型或者可以使用子范围类型。 重要性：中等 例外：如果枚举用 pragma 标记 {attribute 'strict'} ，那么编译器已经报告了这种操作。 如果枚举被 pragma 声明为标志 {attribute 'flags'} ，则不会发出错误 AND , OR

SA0061：指针上的异常操作 检测操作一种类型的变量 POINTER TO 哪些不是 = （平等）， <> （不等式）， + （加法），或 ADR . 在 CODESYS , 指针算术一般是允许的，也可以适当使用。因此，将指针与整数值相加被认为是对指针的常见操作。这使得可以使用指针来处理可变长度的数组。使用 SA0061 报告所有其他（不寻常的）指针操作。 重要性：高 PLCopen 规则：E2

SA0040：可能被零除 检测可能被零除的代码位置 理由：除以 0 导致错误。应始终首先检查要除法的变量是否为 0。 重要性：高 例 48 . 例子 VAR_GLOBAL g_iVar AT %QW1 : INT; END_VAR PROGRAM PLC_PRG VAR iCounter : INT; iSumme:INT; iMid:INT; iVal1:INT := INT#2; iVal2:

命令：检测克隆 功能 ：命令扫描打开的程序代码 CODESYS 复制代码的项目，然后打开 克隆检测结果 查看以显示检测到的克隆代码块。在这个过程中，只有大于特定大小的代码块才被认为是克隆。非常小的代码块不会显示为克隆。 在这种情况下，还要注意 提取功能 和 检测代码克隆 指示。 称呼 ： 构建 → 静态分析 菜单 静态分析 上下文菜单 要求 ： 这 CODESYS Static Analysis

SA0013：具有相同变量名的声明 检测名称已被其他变量使用的变量（例如，具有相同名称的全局变量和局部变量）。还可以检测其函数、操作、方法或属性名称在同一访问范围内使用的变量。还检测在 GVL 中声明的变量 设备 查看或在 POU 池中。然而，为此，GVL POU 视图必须在应用程序中使用。 说明：相同的名称在阅读代码时可能会造成混淆，如果无意中访问了错误的对象，它们可能会导致错误。我们建议您使用

SA0015：通过 FB_Init 访问全局数据 通过方法检测功能块对全局变量的访问 FB_Init .此变量的值取决于初始化的顺序。 理由：根据 POU 实例的声明位置，如果违反规则，可能会访问未初始化的变量。 重要性：高 例 27 . 例子 VAR_GLOBAL g_xTest1 : BOOL; g_iTest3 : INT; END_VAR METHOD PUBLIC fb_init : B

SA0054：REAL/LREAL 的相等/不等比较 检测比较运算符是否 = （平等）和 <> （不等式）比较类型的操作数 REAL 或者 LREAL . 理由： REAL / LREAL 根据 IEEE 754 标准，值被实现为浮点数。该标准意味着特定的、看似简单的十进制数无法精确表示。因此，可能会有不同的表示形式： LREAL 对于相同的十进制数。 考虑以下代码行： lr11 := 1.1;

SA0063：可能不是 16 位兼容的操作 检测具有临时结果的 16 位操作。背景：在 16 位系统上，可以截断 32 位临时结果。例子： (int+10) 可以超过 16 位。 理由：在极少数情况下，您必须编写应该在 16 位处理器和 32 位处理器上运行的代码，此消息应该有助于防止出现任何问题。 重要性：低 例 73 . 例子 PROGRAM PLC_PRG VAR iVar : INT; E