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

[Eric Bodden]

> 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?

Yes, but still they would be flow-sensitive on an intra-procedural level only.

Eric