[Soot-list] array reference analysis

[Jochen Huck]

Hi all,

I would like to know whether two array references point to the same
array elemet. Let's consider the following for loop:

for(int i=0, i<array.length; i++) {
        array[i] = someInt(i);
}

I know that all array references will point to a different array
element. But how can I gain the same result within my analysis? I would
have to track the value of the index variable i and conclude that i is
strictly monotonically increasing/decreasing.

Can I find parts of this analysis in
soot.jimple.toolkits.annotation.arraycheck oder somewhere else?

Thanks,

Jochen