[Soot-list] Beginner's points-to question

[Richard Warburton]

Having been through the section of the brics guide on program analysis
on points-to analysis, I have to admit to a certain level of
confusion.    Primarily as to how to compute a must-aliasing relation
between two variables.  I am using SPARK.  If I have the PointsToSet
instances for each variable, I can check their possible intersection,
but how do I check their definite intersection?  If the phrasing of
this question seems to imply that I have misunderstood the points-to
implementation within soot, it would be quite helpful to see an
example of how to compute the may and must aliasing relations from
this analysis.

  Richard Warburton