[Soot-list] data flow problem

[yangbo at sei.buaa.edu.cn]

Hello 
, 
I obtain the same result with a shorter test. 
>
 public void Test(int a[], int N){

>
 int R0,R1,R2,R3;

>
 R0 = 0;

>
 R1 = 0;

>
 R2 = 0;

>
 R3 = 0;

>
 R2 = a[R1]; (1)

>
 a[R3]=R2; (2)

>
 }
(1)
R2 = a[R1];
temp$7 = a
temp$9 = temp$7[temp$8]
(2)
a[R3]=R2;
temp$10 = a
temp$10[temp$11] = R2
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130716/60a84cb5/attachment.html