Re: problem running 1.2.5

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

The most probable cause that I can think of is that Soot is assuming
that any other classes in your program are library classes, since
the IBM JVM's come with library classes under the com.ibm. package.
By default, Soot considers the following packages as library classes:

java.
sun.
javax.
com.sun.
com.ibm.
org.xml.
org.w3c.
org.apache.

Try adding the switch: -i com.ibm.jax.

Ondrej

On Thu, Apr 24, 2003 at 04:13:11PM -0400, Bjorn De Sutter wrote:
> 
> Hi,
> 
> this is the first time I am trying to use SOOT, and I run it on some program
> (JAX) as follows:
> 
> java soot.Main --app -v -W --soot-classpath "../../JAX;../../JDK1.3.1/jre/lib/
> rt.jar" -d output com.ibm.jax.Batch
> 
> I've attached the output I get on screen below. From this output, it seems that
> all classes in my project get loaded. However only one class is handled during
> all other phases of SOOT. Any idea on what I might be doing wrong?
> 
> As I am not subscribed to the SOOT email list, please include my email address
> in the cc of a reply.
> 
> Thanks,
> 
> Bjorn De Sutter
> 
> =================================================================
> Soot started on Thu Apr 24 15:55:12 EDT 2003
> resolving [from .class]: com.ibm.jax.Batch
> resolving [from .class]: java.lang.Object
> resolving [from .class]: com.ibm.jax.driver.batchdriver.Configuration
> resolving [from .class]: com.ibm.jax.driver.batchdriver.driver
> resolving [from .class]: com.ibm.jax.driver.ConsoleOutputManager
> resolving [from .class]: com.ibm.jax.engine.JX_jax
> 
> ....
> 
> [] Inlining methods...
> [] Start building the invoke graph...
> [<init>] Constructing JimpleBody from coffi...
> [<init>]     Parsing Coffi instructions...
> [<init>]     Building Coffi CFG...
> [<init>]     Producing naive Jimple...
> [<init>] Splitting locals...
> 
> ...
> 
> [main] Constructing JimpleBody from coffi...
> [main]     Parsing Coffi instructions...
> [main]     Building Coffi CFG...
> [main]     Producing naive Jimple...
> [main] Splitting locals...
> 
> ...
> 
>   processed 1 classes
>   processed 2 methods
> [] Finished building the invoke graph
> Transforming com.ibm.jax.Batch... [<init>] Propagating copies...
> [<init>]     Constructing UnitGraph...
> [<init>]     Constructing SimpleLocalDefs...
> [<init>]     SimpleLocalDefs finished.
> [<init>]     Constructing SimpleLocalUses...
> [<init>]     Propagated: 0 fast copies  0 slow copies
> [<init>] Propagating and folding constants...
> [<init>]     Constructing UnitGraph...
> [<init>]     Constructing SimpleLocalDefs...
> 
> ...
> 
> [main] Propagating copies...
> [main]     Constructing UnitGraph...
> [main]     Constructing SimpleLocalDefs...
> [main]     SimpleLocalDefs finished.
> [main]     Constructing SimpleLocalUses...
> [main]     Propagated: 0 fast copies  0 slow copies
> 
> ...
> 
> [main] Aggregating Unit Tags...
> [com.ibm.jax.Batch] Constructing baf.JasminClass...
> 
> Soot finished on Thu Apr 24 15:55:18 EDT 2003
> Soot has run for 0 min. 6 sec.
> 
> =================================================================