MATLAB的答案

Polyspace橙色检查:添加DRS的数组

2视图(30天)
Zulham先生
Zulham先生 2022年5月5日
评论道: Zulham先生2022年5月6日
你好,
我有一个c++代码:
静态 字符 hw_type [ 4 ] = { “V” , ' 2 ' , 0 , 0 };
无效 myfunc ()
{
hw_type [ 1 ] + + ;
}
这是DRS是如何设置的,但是它仍然显示橙色溢出检查。
如何设置的DRS值数组hw_type吗?
提前谢谢你

在回答这个问题。

接受的答案

Anirban
Anirban 2022年5月5日
编辑:Anirban 2022年5月5日
你必须选择 永久 在 初始化模式 列的橙色溢出。
  • 当您选择初始化,这意味着hw_type开始于一个范围2 . .3,但可以把它超出范围的后续操作。
  • 当您选择永久,这意味着每一次它的值是未知的,Polyspace必须假设未知的价值仍然是在2…3
这是完整的解释。在你的例子中,你没有完整的应用程序,也就是说,没有 主要 ()函数。所以,Polyspace代码验证没有调用上下文的信息 myfunc () 。对于声音分析,假设 myfunc ()可以被称为0次或更多。结果:
  • 当你指定hw_type始于一个范围2 . .3,第一次myfunc(),+ +不溢出,但一定数量的电话后,。如果你看到工具提示+ +,您将看到范围2 . .127年,显示所有可能的值开始hw_type在所有的调用myfunc()。
  • 当你指定hw_type永久的2 . .3,每次myfunc(),它开始的hw_type。
希望解释的事情。

更多的答案(0)