c-如何解决polyspace警告”；数组索引超出界限
相关标签：
在代码库上进行多边形空间分析时，我在下面的代码段上收到一个橙色的检查警告，表示指针可能超出其边界。
我尝试在访问数组之前添加一个null检查，比如if（x[I]！=null），但它没有帮助。作为参数传递给函数的指针也被声明为指针，因此我无法确定传递给函数的缓冲区大小。
void foo(const int *x, unsigned int value)
{
int i, data;
for(i=0;i我可以理解polyspace可能假设在某个时间点，指针可能指向无效内存，代码可能会崩溃，但如何更干净地编写代码以避免问题？我不能改变指针的用法，因为它会影响巨大的文件。
特别声明：以上内容（图片及文字）均为互联网收集或者用户上传发布，本站仅提供信息存储服务！如有侵权或有涉及法律问题请联系我们。
举报
