[Soot-list] points-to analysis for all fields

[Aiwu Shi]

hi, 
    I post my related questions before, but nobody responds. wish somebody can help me.

    my goal is to get the points-to set for all fields  including static and non-static. 

I can get the points-to set for static fields easily, but if I want to get the info for non-static fields, I must add a method in the analyzed class, which call all the declared methods, which is showed as following sample code.

So, I want to ask if I MUST add a method like that, or some other approaches can do for that?
you know, suppose that I am analyzing a java library,  if I must add a method in the analyzed class, which call all the declared methods in the class,   that sounds a huge job!!!, 

somebody know some other approaches I can use for my points-to analysis for all fields?

thanks
Aiwu 

for example:

public class SampleClass {
 static C z;
 public C f;
 
/////////////////////////////////////////////////////////////////////////////
// if I add this main( ) in the SampleClass, I can get the points-to set for non-static field f.
// if I delete this main( ), I CAN NOT get the points-to set for non-static field f.
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 public void main(){
  SampleClass sc= new SampleClass();       
  sc.f1();
  sc.f2();
 }
//////////////////////////////////////////////////////////////////////////////////// 

 public C f2(String str){
  C x;
  x = new C();
  z=x;
  this.f=x;     // I want to get the points-to set for this.f,  at least it aliased with local x.
  return x;
 }
 
 void f1(){
  C a=new C();
  z=a;
 }
}
}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20051219/d0eadd93/attachment.htm