[Soot-list] points-to objects

[Khilan Gudka]

Dear all,

I would like to be able to access the "abstract" call-site objects that are
stored within PointsToSet instances. I've been looking the source code and
have seen that PointsToSetInternal has a method called forall(P2SetVisitor)
that iterates through the Node instances in the PAG. What do these nodes
correspond to? Are they the abstract objects? I'm using SPARK.

Thanks,
Khilan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100705/89384ca0/attachment.html