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

[Richard Xiao]

Hi,

Just search the mail-list you will find Laurie has explained Jimple very
well.
The post is here:

http://www.sable.mcgill.ca/pipermail/soot-list/2012-July/004586.html

Cheers,
Xiao



On Wed, Jul 3, 2013 at 2:37 PM, Quentin Sabah <quentin.sabah at inria.fr>wrote:

> > 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
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Richard Xiao Xiao
PhD Student @ CSE @ Hong Kong University of Science and Technology
www.cse.ust.hk/~richardxx
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130704/4d8d3fb3/attachment.html