[Soot-list] points-to objects

[Eric Bodden]

Hi Khilan.

21:37, Khilan Gudka <khilan at doc.ic.ac.uk> wrote:
> 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.

There should be one alloc node per allocation site. So yes, basically
they are what you could call "abstract objects".

Eric