[Soot-list] Paddle: All points-to sets of a field

[Michael Pradel]

Hi,

I want to do an object-sensitive points-to analysis with Paddle to get
all points-to sets a particular field f of a class C can have in a
program. I'm interested in all instances of C and the contexts where f
is modified.

After playing with the Paddle API for a while I still cannot find the
right "entry point" for my purpose. I guess
PointsToAnalysis.reachingObjects(Context, Local, Field) will help me.
How can I get all locals that are an instance of C and their contexts?
Is there some iterator over all nodes in the PAG and how can I get the PAG?


Thanks and regards,
Michael


-- 
michael at binaervarianz.de
GPG Fingerprint 2069 ED1D 7A80 E35E F4C9  43CF D4E0 57FC 7B97 6D4F

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 197 bytes
Desc: OpenPGP digital signature
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100117/39af4ca1/attachment.bin