检测整数溢出
检查 ID：mathworks.sldv.integeroverflow
检测模型中的整数或定点数据溢出错误
描述
此检查用于识别整数或定点数运算中超出数据类型范围的运算。
遵循此检查的建议可提高为嵌入式应用生成符合 MISRA C:2012 标准的代码以及符合 CERT C、CWE、ISO/IEC TS 17961 标准的代码的可能性。
结果和建议的操作
| 结果 | 建议的操作 |
|---|---|
| 失败，模型不兼容 | 解决模型不兼容问题。请参阅
另请参阅使用自动插桩处理不兼容问题 (Simulink Design Verifier)。 |
| 在模型中发现整数溢出 | 要查看导致整数溢出的条件，请创建一个框架模型。当您对框架进行仿真时，输入会重现该错误。点击模型顾问报告中的查看测试用例。 |
功能和限制
无法在库模型上运行。
可以分析封装子系统中的内容。默认情况下，输入参数 Look under masks 设置为
all。可以分析库链接模块的内容。默认情况下，输入参数 Follow links 设置为
on。不支持排除项。
另请参阅
MISRA C:2012:Directive 4.1
ISO/IEC TS 17961:2013, intoflow
CERT C, INT30-C and INT32-C
CWE, CWE-190
安全编码 (Embedded Coder)
检测并消除 Bug (Simulink Design Verifier)
检测整数溢出和除以零错误 (Simulink Design Verifier)
