[Soot-list] Looking for must-point-to analysis

[Eric Bodden]

Hello.

I am in the need of an, as always, as much as possible efficient and effective must-point-to analysis, i.e. an analysis that tells me whether two variables must for sure point to the same object (or not).

I know this is a hard goal to achieve but maybe somebody has already attempt to implement such a thing before or at least written about it, if not implemented in Soot.

So any pointers would be greatly appreciated.

Thanks a lot,
Eric

--
Eric Bodden
Sable Research Group, McGill University
Montréal, Québec, Canada