Mark all pointers that "may be outside bounds" as a finding?

1 次查看（过去 30 天）

显示更早的评论

Ma Ka 2016-12-20

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/317619-mark-all-pointers-that-may-be-outside-bounds-as-a-finding

评论： Ma Ka 2016-12-20

在 MATLAB Online 中打开

I have a lot of "illegally dereferenced pointer" findings. They tend to be hard to track down since the pointer may be dereferenced long after it is defined. Is there a way to make the Code Prover issue a finding (probably going to be an orange one) as soon as it sees that a pointer may be out of bounds? Here is some code to illustrate the issue:

 static volatile int x;
 int array[10] = {0};
 int idx = x % 20;
 int *p2 = &(array[idx]); /* hoovering over p2, Code Prover states that p2 may be out of bounds; there are no orange or red findings in this line, however */
 /* here be lots of code, function calls,... */
 int a = *p2; /* Orange finding: illegally dereferenced pointer */