[Soot-list] Suspicious message?

[Chris Pickett]

It probably is not doing whole program optimization.  I guess I would 
try using the -v option to check for sure, and then binary search the 
(hopefully only intraprocedural) optimization phases until you find the 
culprit.

Chris

Mark Friedman wrote:
> My command line looks something like this:
> 
> java -Xmx256m -classpath 
> /home/markf/soot/soot-2708/classes:/home/markf/soot/polyglot-1.3.4/classes:/home/markf/soot/polyglot-1.3.4/cup-classes:/home/markf/soot/jasmin-2708/classes 
> soot.Main -O -process-dir foo/classes -cp bar/classes.jar -d 
> baz/soot-classes
> 
> My concern is that it is attempting some whole-program based 
> optimization.  I'm getting some errors in the resulting program 
> execution, which I don't get in the pre-optimized version.  My program 
> is doing some dynamic class loading and therefore would likely have 
> problems if soot was attempting any whole-program based optimizations.
> 
> Thanks in advance for your help.
> 
> -Mark
> 
> On 6/4/07, *Eric Bodden* <eric.bodden at mail.mcgill.ca 
> <mailto:eric.bodden at mail.mcgill.ca>> wrote:
> 
>     Hmm, what does your command line look like? It might well be the case
>     that Soot is a little overly eager w.r.t. that in some situations.
> 
>     Eric
> 
>     On 04/06/07, Mark Friedman <mark.friedman at gmail.com
>     <mailto:mark.friedman at gmail.com>> wrote:
>      > Is it suspicious that I get messages like "No main class given.
>     Inferred
>      > 'com.whatever.Foo' as main class." even when I don't specify
>     whole-program
>      > mode?  Is there some reason that soot would need a main class in that
>      > situation?
>      >
>      > -Mark
>      >
>      > _______________________________________________
>      > Soot-list mailing list
>      > Soot-list at sable.mcgill.ca <mailto:Soot-list at sable.mcgill.ca>
>      > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>      >
>      >
> 
> 
>     --
>     Eric Bodden
>     Sable Research Group
>     McGill University, Montréal, Canada
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list