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

[Ondrej Lhotak]

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