[Soot-list] data flow analysis problem

[Quentin Sabah]

Hi, do you obtain the same result with a shorter test? like this one:

> 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)
> }


-- 
Quentin Sabah, CIFRE Ph.D. student
Grenoble University
INRIA-SPADES                   | STMicroelectronics/AST
Montbonnot, France             | Grenoble, France
mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
phone: +33 476 61 54 57        | phone: +33 476 58 44 14