[Soot-list] restricting the scope of SPARK

[Niko Matsakis]

> By default, SPARK tries to be as conservative as possible, which means
> having to analyze the library.
>
> I'm not certain that I remember all the switches to disable this,  
> but I
> think they are:
> -p cg.spark simulate-natives:false -p cg implicit-entry:false

Thanks, I'll give that a try.  I'm wondering if there isn't a switch  
that says, "restrict the analysis to those classes reachable from the  
Main class," since I have to specify a Main class, after all.

I suppose all those classes might be reachable through the String args 
[] that the main() method takes, though I never use them in any way.

Anyhow, thanks a lot!


Niko