[Soot-list] restricting the scope of SPARK

[Ondrej Lhotak]

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

Ondrej

On Fri, Oct 06, 2006 at 04:06:56PM +0200, Niko Matsakis wrote:
> So, I am toying around with SPARK (very nice, by the way), and am  
> having two problems:
> 
> 1. First, it seems to want to analyze the entire java class library  
> (or a large piece of it), despite the fact that my little test  
> program uses no external classes besides java.lang.Object.
> 
> 2. Also, I can't seem to generate HTML even though I am passing in  
> the HTML generation flag.  All I get are .in and .out flags.
> 
> Anyway, I am sure I doing something wrong because a 2 class toy  
> linked-list implementation takes 8 minutes to analyze... (of course  
> it also analyzes about 5000 java.* classes...)
> 
> 
> Niko
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>