[Soot-list] Points-to analysis

[Ondrej Lhotak]

The points-to analysis is a whole-program analysis that analyzes only
methods reachable through the call graph from the entry points of the
program (such as the main method). Your program has no main method,
and the method f2() is not called from anywhere, so it is not analyzed.

Ondrej

On Tue, Aug 02, 2005 at 06:19:38PM +0530, Ashok Sreenivas wrote:
> 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
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>