[Soot-list] Points-to analysis

[Ashok Sreenivas]

I'm probably missing something basic, but I can't seem to get the
spark points-to analysis to work. Following is my test program:

-------------------------------------------------------------------
public class t
{
	void f2 ()
	{
		C x, y;

    	x = new C ();
		y = x;
	}
}

class C
{
}
-------------------------------------------------------------------

and my command-line options are:

-w -f jimple -p jb use-original-names:true -p cg.spark on --app t

The results I get are that x and y don't point to anything and
therefore have no intersection with each other. It is doing PAG
analysis, and reachingObjects returns a PointsToSetInternal with
0 elements for both x and y. What is going wrong?

Ashok