检查有符号整数的按位运算

R2026b

检查 ID：mathworks.misra.CompliantCGIRConstructions

识别包含有符号整数的按位运算的 Simulink 模块。

描述

遵循此检查的建议可提高为嵌入式应用生成符合 MISRA C:2012 和 MISRA C:2023 标准的代码以及符合 CERT C 和 CWE 标准的代码的可能性。

适用于 Embedded Coder® 和 Simulink® Check™。

注意

如果模型包含 Stateflow 元素，则需要 Stateflow® 许可证。

结果和建议的操作

条件建议的操作
模型中的模块包含有符号整数的按位运算。请考虑使用无符号整数进行按位运算。

功能和限制

  • 该检查在生成的代码级别而非模型级别运行。因此，即使底层模型可能产生不安全输入验证问题，只要生成的代码未表现出此类问题，它也可能不会标记相关模块。为克服此限制，请使用Check usage of bit operation blocks检查，该检查用于在模型级别检测不安全输入验证。

另请参阅