Re: What classes are analyzed by the points-to analysis?

[Ondrej Lhotak <olhotak@sable.mcgill.ca>]

On Mon, Sep 08, 2003 at 01:48:30PM -0400, Jaime Spacco wrote:
> How does the Spark points-to analysis decide which classes to analyze?  I heard a
> rumor that it analyses every possible class that could have a static initializer
> called.  Is this true?

This was true in versions of Soot prior to 2.0, where all static
initializers of all resolved classes were considered to be reachable for
the purposes of building the CHA call graph that was used as the basis
of Spark.

> And if so, is there any way to limit the points-to
> analysis to just the methods and classes that the classloader needs to compile?

I don't understand what you mean by this. Are you talking about the
class loader in the VM, which runs at run-time when the classes are
executed? Or are you talking about the Soot resolver, which resolves all
classes referred to by any other classes?

> We're getting pretty slow runtimes for a simple hello world-type application and
> we're looking for ways to speed it up.
> 
> Thanks,
> 	-Jaime