[Soot-list] Any points-to analysis based on Shimple?
shangl at cse.unsw.edu.au
Sat Sep 25 04:59:15 EDT 2010
Thanks Ondrej, and how can I analyze program by Spark on Shimple?
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.
> 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,
> > are flow-insensitive. Any points-to analysis is implemented in Shimple,
> > is based on SSA and flow-sensitive?
> > Thanks.
> > Lei
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list at sable.mcgill.ca
> > http://www.sable.mcgill.ca/mailman/listinfo/soot-list
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Soot-list