MATLAB的答案

版本的非法取消引用指针R2020b显著降低吗?

1视图(30天)
Tran Thang”class=
Tran Thang 2021年3月18日
评论道: Anirban 2021年4月30日
嗨 Anirban ,
我比较版本R2019b和R2020b运行时相同的源代码。请看看下面的两个芽:
  • 源780 b
  • 源800 b
运行780 b *:版本R2020b上的非法取消引用指针数量减少到264
运行800 b:非法版本R2020b减少到237取消引用指针
请让我知道 为什么版本的非法取消引用指针R2020b显著降低吗?
我们应该应用版本R2020b吗?
BR
Thang Tran
1评论
里克”class=
里克 2021年3月18日
如果你想让别人有机会回答这个问题,你将不得不提供更多的解释。有一个读 在这里 和 在这里 。

登录置评。

在回答这个问题。

答案(1)

Anirban”class=
Anirban 2021年3月19日
你好,
我假设您使用的是相同的Polyspace项目(使用相同的配置)在两个版本。你能检查一些真正的快吗?假设您正在使用桌面产品,在s manbetx 845 指示板 项目面板中,您可以看到代码覆盖的验证的百分比。看到更多的细节 指示板 。你能检查是否覆盖在两个版本都是一样的吗?
10评论
显示9年纪大的评论
Anirban”class=
Anirban 2021年4月30日
你好,
在两个版本中,消息指出,指针不为空。这就是没有区别。
一个 非法取消引用指针 检查由几种检查:
  • 指针是否为空。
  • 指针指向一个地区是否ok废弃。
这是第二次检查,R2019a R2020b似乎有所不同。我注意到一个有趣的差异是,在R2019a消息状态这些东西:
  • 指针可以指向动态分配的内存。指针是指向动态分配的内存?或者,也许Polyspace认为这样做是因为一些overapproximation吗?也许Polyspace R202b更精确?
  • 指针指向一些局部变量在函数和外部访问功能。同样,这可能是一个overapproximation,成为了R2020b更精确。
我希望你能够接触的支持,并得到一个详细的调查您的项目。万博1manbetx

登录置评。

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!