You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
test.c:7:22: warning: possible buffer overflow, could not bound index for access of local variable 'array' of 5 elements
array[index] = index;
^
To remove this warning, the analysis needs to bound all the integers stored in the indexes array. It could infer that indexes[i] is in [0, 4] and prove that the array access is safe.
The text was updated successfully, but these errors were encountered:
On the following code:
IKOS produces the following warning:
To remove this warning, the analysis needs to bound all the integers stored in the
indexes
array. It could infer thatindexes[i]
is in[0, 4]
and prove that the array access is safe.The text was updated successfully, but these errors were encountered: