[Soot-list] alias analysis

[Eric Bodden]

I guess all you have to do is retrieving the points-to sets for the
variables for which you want to test whether they are aliases (see
interface PointsToAnalysis) and then you use
PointsToSet.hasNonEmptyIntersection(...) in order to find out if both
points-to sets overlap. If they do, then your variables may be aliased.


Eric


> -----Original Message-----
> From: soot-list-bounces at sable.mcgill.ca [mailto:soot-list-
> bounces at sable.mcgill.ca] On Behalf Of Peng Li
> Sent: Monday, December 11, 2006 12:11 AM
> To: soot-list at sable.mcgill.ca
> Subject: [Soot-list] alias analysis
> 
> Could anyone email me an example about how to use SPARK to do the
alias
> analysis? I can not find any examples on the website and mailing list.
> 
> Cheers
> Peng