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

[Lei Shang]

>
>
> Yes, if you have a flow-sensitive pointer analysis over a
> flow-sensitive representation like Shimple then you sort of get some
> flow-sensitivity in the analysis for free. But of course,
> reimplementing a whole pointer analysis on Shimple would be a lot of
> work.
>
>
What I mean is not a flow-sensitive algorithm, but the original
flow-insensitive algorithm. I think if the program is in SSA form, each
variable has a new version for a new definition. In that case, the
flow-insensitive pointer analysis over SSA form should get flow-sensitive
points-to sets. Is this correct?

Lei
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100924/9f81f5c7/attachment.html