[Soot-list] Pointer Analysis

[Manu Sridharan]

I'll give this one a try...

You can call getNewExpr() on an AllocNode to get the corresponding new 
expr.  So, given a PointsToSetInternal, I'd iterate through its contents 
(using forall()), and then for each AllocNode in the set, check if its 
new expr is the desired one.  I don't think there is a reverse mapping 
from new exprs to the corresponding AllocNode.  Someone can correct me 
if I'm off on this one.

-Manu

Saswat Anand wrote:

> Hello,
>
> I need some pointers on using soot's points-to analysis and would 
> appreciate your help very much.
>
> I want to find out if the Alloc node corresponding a new statement is 
> in a given PointsToSet. Basically, how can I find the Alloc node 
> corresponding to a new stmt. If I know that, I can probably use 
> PointsToSetInternal: contains( Node n ). But is it safe to do that?
>
> Thanks,
> Saswat
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list