检测除以零错误
检查 ID：mathworks.sldv.divbyzero
检测模型中的除以零错误
描述
此检查识别模型中导致除以零错误的操作。
遵循此检查的建议可提高为嵌入式应用生成符合 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, diverr
CERT C, INT33-C and FLP03-C
CWE, CWE-369
安全编码 (Embedded Coder)
检测并消除 Bug (Simulink Design Verifier)
检测整数溢出和除以零错误 (Simulink Design Verifier)
