为什么代码验证不能检测绑定数组索引?
6视图(30天)
显示旧的评论
接受的答案
Anirban
2020年4月29日
编辑:Anirban
2022年7月1日
你好,
一个可能的解释是,这是一个c++项目和全球数组“外部”的项目。换句话说,文件,定义了数组(连同其大小)没有提供Polyspace分析。对于这样的“外部”c++数组,因为代码验证不知道大小,默认情况下,它不显示
越限的数组索引
(OBAI)检查。您可以使用的选项
-consider-external-array-accesses-unsafe
在这个问题上看到一个橙色OBAI检查。
可以有很多其他的原因。没有一种繁殖,很难讲。
PS
。更准确的回答了最后一个进入这个线程。复制在这里:
的
越限的数组索引
警告发生在你
读
界外的内存位置(或可能界外)。只是把地址不是问题本身。