MATLAB的答案

为什么PolySpace不按预期报告溢出呢?

2视图(30天)
MathWorks支万博1manbetx持团队
我创建了一个示例,应该引起溢出在计算和参数b和c,但PolySpace报告所有行保存:
无效myfun(空白)
{
无符号短= 0;
无符号短b = 255;
无符号短c = 650000;
a = b + c;
}

在回答这个问题。

接受的答案

MathWorks支万博1manbetx持团队
以确保PolySpace检测为无符号整数变量溢出,请选择“-detect-unsigned-overflows”选项。
在PolySpace GUI可以在设置这个选项
PolySpace内部设置- >假设- >检测溢出
在无符号整数。

更多的答案(0)