[Soot-list] visitor for Jimple IR

[Sergio Ferrero]

Hi Quentin,

Thanks for the clarification.
However, the last sentence is not clear to me.
"You said that J*Expr are shared accorss multiple statements..."

Could you show that with an example?


Thanks
Sergio


On Fri, Jun 28, 2013 at 10:45 AM, Quentin Sabah <quentin.sabah at inria.fr>wrote:

> Hi,
>
> > Therefore, I'd like to associate specific source correspondence (SC) to
> > those objects in the format of offset and length.
> > First I looked at a few objects and I found they implemented Host (e.g.
> > JAssignStmt) so I thought I could add SC as a Tag.
> > However, I found some of them do not implement Host, e.g. JGtExpr.
>
> Jimple statements (J*Stmt) implements Host. The jimple expressions
> (J*Expr) don't. Statements do not directly refer to expression, there is
> an indirection through ValueBox instances also implementing Host. The
> reason is that Value(s) (like J*Expr) are shared across multiple
> statements, but ValueBox are "unique" to a given statement.
>
> Host                   Host
> Stmt -uniquely refer-> ValueBox -refer-> Value
>
> --
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130628/c90f82ca/attachment.html