[Soot-list] the allocate sites that may be pointed to by 'l' ?

[Zhoulai]

Dear all,

I have a very basic question. Could you help me?

Given a class C, a method m, and a local l, how can I use Spark to retrieve
interprocedurally t*he allocate sites that may be pointed to by 'l'* ?
It seems the interface PointsToSet does not provide operation.

Many thanks.
Zell.

 Example:

Given MyClass and its method test(), the wanted results for the local 'x'
is the set {allocSite1 and allocSite2};
                                 for method foo(); the wanted results for
the local 'b' is the set {allocSite2}.


class MyClass{
test(){
A x;
if (?){
   x = new A();   //allocSite1
else
    x = foo();
}
 x.val=10;
}

foo(){
A b = new A(); //allocSite2
return b;
}
}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120918/15533779/attachment-0001.html