Points-to analysis bug - accessing array elements

[xvitovs1]

When accessing array elements, points-to analysis doesn't work correctly if the elements are accessed by index that changes, e.g. in a cycle:

for (i = 0; i < 10; i++) {
    A[i] = i;
}

There is a problem with determining an offset within the array. Slicer can wrongly remove some statements because of this.

[Justme0]

If the index is a variable, offset will be 0 in "points to" analysis. It's imprecise.