[Soot-list] Pointer Analysis

Saswat Anand saswat at cc.gatech.edu
Fri Dec 9 18:54:59 EST 2005


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



More information about the Soot-list mailing list