[Soot-list] Array def/use handling

[Akhil Jain]

Hi

Is there any way in which I can get to know what instructrions have modified the array upto a specific point in the program? I tried using the SimpleLocalDefs and SmartLocalDefs classes for the purpose but since the array is not really stored in the form of a local variable, I couldnt get much information.

For instance in the code:

int a[] = {1,0,-1}
if (args[0]%2==0)
    a[2]=factorial(a[1]);
else
    a[2]=add(a[1],a[0]);
System.out.println(a[2]);

is there any way of knowing all the statements that may have affected a[2] at the point where we are printing its value?

Also is there any way in which this can be known along eith the path taken by the execution?

Thanks
Akhil Jain
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130604/7c7d7204/attachment.html