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

检查 ID：mathworks.misra.CompliantCGIRConstructions

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

描述

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

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

注意

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

结果和建议的操作

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

功能和限制

您可以：

  • 此检查假设代码是为整个模型生成的。如果代码是由子系统编译或导出函数生成的，则此检查可能会产生不正确的结果。

  • 将模块和图从此检查中排除（如果您拥有 Simulink Check 许可证）。

另请参阅