[Soot-list] Does jimple IR precludes variable redefinition (at different program points) ?

[Quentin Sabah]

> I mean:
> Let pp1, pp2, ..., pp_k, pp_k+1.... be a sequence of program points
> following the control flow graph (which might be infeasible). Is that
> possible to have pp_i, pp_j both writing a variable but pp_i and pp_j is
> not the same program points?

Of course it is possible with Jimple. Any Java code re-assigning a local 
variable will give you an example of that.
Avoiding variable redefinition is the SSA principle, as implemented by 
the Shimple IR in Soot.


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