[Soot-list] Any points-to analysis based on Shimple?

[Lei Shang]

Thanks Ondrej, and how can I analyze program by Spark on Shimple?

Lei


2010/9/25 Ondrej Lhotak <olhotak at uwaterloo.ca>

> Shimple and Jimple are very similar. The only new instruction in Shimple
> is the Phi instruction.
>
> Spark already works on both Jimple and Shimple.
>
> Paddle apparently does not, but it should be very easy to make it work
> on Shimple by adding a casePhiExpr method to MethodNodeFactory similar
> to the one already implemented in Spark's MethodNodeFactory.
>
> Ondrej
>
> On Thu, Sep 23, 2010 at 11:43:54AM +1000, Lei Shang wrote:
> > Hi,
> >
> >     I found that various points-to analysis in soot are based on Jimple,
> which
> > are flow-insensitive. Any points-to analysis is implemented in Shimple,
> which
> > is based on SSA and flow-sensitive?
> >
> >     Thanks.
> >
> > Lei
>
> > _______________________________________________
> > 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/20100925/f36d43d0/attachment.html