[Soot-list] data flow problem

[Quentin Sabah]

On 07/16/2013 11:16 AM, yangbo at sei.buaa.edu.cn wrote:
> 1a)>  temp$7 = a
> 1b)>  temp$9 = temp$7[temp$8]
>      >  (2)
>      >  a[R3]=R2;
> 2a)>  temp$10 = a
> 2b)>  temp$10[temp$11] = R2
> 
> 
> 
> 1a
> defVariable:temp$7 Def:temp$7 = a(DefUnit_line:18)
> 1b
> Use:temp$9 = temp$7[temp$8](UseUnit_line:18)
> temp$7 = a(UseUnit_line:18)
> 2a
> defVariable:temp$10 Def:temp$10 = a(DefUnit_line:19)
> 2b
> Use:temp$10[temp$11] = R2(UseUnit_line:19)
> Use:temp$10 = a(UseUnit_line:19)

I'm sorry but you need to explain what exactly means each output because
I don't know how to interpret them. And what should be the correct
output according to you.

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