返回

c-如何解决polyspace警告”;数组索引超出界限

发布时间:2022-05-26 21:32:45 249

在代码库上进行多边形空间分析时,我在下面的代码段上收到一个橙色的检查警告,表示指针可能超出其边界。

我尝试在访问数组之前添加一个null检查,比如if(x[I]!=null),但它没有帮助。作为参数传递给函数的指针也被声明为指针,因此我无法确定传递给函数的缓冲区大小。

void foo(const int *x, unsigned int value)
{
   int i, data;
   for(i=0;i

我可以理解polyspace可能假设在某个时间点,指针可能指向无效内存,代码可能会崩溃,但如何更干净地编写代码以避免问题?我不能改变指针的用法,因为它会影响巨大的文件。

特别声明:以上内容(图片及文字)均为互联网收集或者用户上传发布,本站仅提供信息存储服务!如有侵权或有涉及法律问题请联系我们。
举报
评论区(1)
按点赞数排序
用户头像
相关帖子