常的班次操作 -strict 检测不对位域数据类型 [...] -3 标准只允许对位域数据类型进行位访问。但是,那 CODESYS 编译器还允许对无符号数据类型
隐式生成的指针转换 理由:在 CODESYS ,指针没有严格类型 [...] 您可能会无意中使用后一个指针覆盖内存。因此,请务必检查此规则,并在您故意想要访问不同类型的值的情况下阻止该消息。 使用不同的消息报告隐式数据类型
SA0058:对枚举变量的操作 检测对枚举数据类型的变量的操作 允许 [...] ,可以定义别名数据类型或者可以使用子范围类型
务中配置。 POU 必须是 程序 类型。这 功能块 和 功能 类型是不允许的。 例
SA0051:对 BOOL 变量的比较操作 检测类型变量的比较操作 BOOL 理由: CODESYS 允许进行这些类型
结果的使用 检测数据类型 [...] 报告代码中许多问题较少的位置。尽管只有当操作在数据类型中产生上溢或下溢时才会出现问题,但静态分析无法区分各个位置。 如果您在所有报告的位置中包含显式类型
)。在对位域数据类型 [...] : CODESYS 允许对有符号数据类型
空行。 false :保留空行。 界面 宣言 对齐变量类型 true (默认): 变量块中的所有类型
SA0002:空对象 检测不包含任何代码的 POU、GVL、数据类型声明或接口 理由:应该避免空对象。它们