SA0118：不使用常量的初始化 检测未分配常量的初始化 理由：如果可能，初始化应该是常量，并且不应该引用其他变量。特别是，您应该避免在初始化期间调用函数，因为这可能允许访问未初始化的数据。 重要性：中等 例 109 . 例子 PROGRAM PLC_PRG VAR dwTemp : DWORD := 22; dwTest : DWORD := dwTemp; // SA0118 dwVar :
SA0124：声明中的指针取消引用 检测用于声明部分初始化的指针取消引用 理由：指针和引用不应该用于初始化，因为如果指针尚未初始化，这可能会导致访问冲突。 重要性：中等 例 110 . 例子 TYPE TESTSTRUCT : STRUCT xA : BOOL; xB : BOOL; END_STRUCT END_TYPE FUNCTION_BLOCK FB_Test VAR_INPUT pTes
SA0125：初始化中的引用 检测声明部分中用于初始化的引用变量 理由：指针和引用不应该用于初始化，因为如果指针尚未初始化，这可能会导致访问冲突。 重要性：中等 例 111 . 例子 TYPE TESTSTRUCT : STRUCT xA : BOOL; xB : BOOL; END_STRUCT END_TYPE FUNCTION_BLOCK FB_Test VAR_INPUT refTests
SA0140：注释掉的语句 检测注释掉的语句 理由：出于调试目的，代码经常被注释掉。当这种注释发布时，以后并不总是清楚代码是否应该被删除，或者它是否出于调试目的而被注释掉并且无意中没有被注释掉。 重要性：高 PLCopen 规则：C4 例 112 . 例子 PROGRAM PLC_PRG VAR iValue1: INT; iValue2: INT; END_VAR iValue1 := 100;
SA0039：可能的空指针引用 检测可能取消引用空指针的代码位置 理由：在每次取消引用之前应检查指针以确保它不等于零。否则，运行时可能会发生访问冲突。 重要性：高 例 113 . 例子 PROGRAM PLC_PRG VAR ptiVar1:POINTER TO INT; ptiVar2:POINTER TO INT; ptiVar3:POINTER TO INT; iVar:INT; iCoun
SA0046: 可能使用未初始化的接口 检测使用前未初始化的接口的使用情况 理由：接口引用在使用之前应该检查<> 0。否则访问过程中可能会出现访问冲突。 重要性：高 例 114 . 例子 //Declaration of INTERFACE ITF and assigned METH2: METHOD METH2 : BOOL VAR_INPUT iInput2:INT; END_VAR //De
SA0145：可能使用未初始化的引用 检测任何在使用前可能未初始化且操作员未检查的参考变量 __ISVALIDREF .该规则适用于 POU 的实现部分。对于声明，有规则 SA0124 . 理由：访问前应检查引用的有效性，因为访问期间可能会发生访问冲突。 重要性：高 例 115 . 例子 PROGRAM PLC_PRG VAR_INPUT ref_iTest : REFERENCE TO INT;
SA0160：递归调用 检测功能块的动作、方法和属性中的递归调用。还检测来自虚拟函数调用和接口调用的可能递归。 理由：递归会导致不确定的行为，因此是错误的来源。 重要性：中等 PLCopen规则：CP13 例 117 . 例子 下面的方法 Call 分配给功能块 FB_Test ： FUNCTION_BLOCK FB_Test VAR bParameter: BOOL; END_VAR METHO
SA0161：压缩结构中的未压缩结构 检测在打包结构中使用的未打包结构 理由：编译器通常将解包结构设置为一个地址，该地址允许对结构内的所有元素进行对齐访问。如果您在打包结构中创建此结构，则不再可能进行对齐访问。此外，访问解压缩结构中的元素可能会导致“未对齐异常”。 重要性：高 例 118 . 例子 结构 structSingleDataRecord 已打包，但它包含未打包的结构 struct4By
