[Soot-list] Java Result: 139

[Jae-Woo Lee]

Hi,

I executed an analysis on SpecJVM2008 montecarlo benchmark.
During the execution I got "Java Result: 139" then the analysis stopped.
Do you have any idea what is the problem ?
The followings are the ant target I ran and the result of the execution.
Thank you.

Sincerely,
Jaewoo


=========== The ant target I run ===================

    <target name="analyze-montecarlo" depends="compile">
        <echo level="warning" message="Analyzing MonteCarlo in SpecJVM2008
benchmark..."/>
        <java classname="escapeanalysis.AnalysisDriver"
              fork="true"
              maxmemory="512m">
            <classpath refid="run.classpath"/>
            <classpath refid="soot.classpath"/>
            <arg value="-v"/>
            <arg value="-w"/>
            <arg value="-app"/>
            <arg value="-cp"/>
            <arg
value="build/classes:benchmark_jar/SPECjvm2008.jar:benchmark_jar/check.jar:benchmark_jar/jfreechart-1.0.5.jar:benchmark_jar/jcommon-1.0.9.jar"/>
            <arg value="-pp"/>
            <arg value="-main-class"/>
            <arg value="spec.benchmarks.scimark.monte_carlo.Main"/>
            <arg value="spec.benchmarks.scimark.monte_carlo.Main"/>
        </java>
    </target>

========================== The last part of messages ================
     [echo] Analyzing MonteCarlo in SpecJVM2008 benchmark...
     [java] Soot started on Wed Apr 22 22:53:36 EDT 2009
     [java] [Call Graph] For information on where the call graph may be
incomplete, use the verbose option to the cg phase.
     ......
     [java] [getInstance] Propagating copies...
     [java] [getInstance]     Constructing
soot.toolkits.graph.ExceptionalUnitGraph...
     [java] [getInstance]     Constructing SimpleLiveLocals...
     [java] [getInstance]     Constructing SmartLocalDefs...
     [java] [getInstance]        done localToDefs map...
     [java] [getInstance]        done unitToMask map...
     [java] [getInstance]     SmartLocalDefs finished.
     [java] [getInstance]     Propagated: 0 fast copies  0 slow copies
     [java] Applying phase jb.dae to <java.security.cert.CertStore:
java.security.cert.CertStore
getInstance(java.lang.String,java.security.cert.CertStoreParameters)>.
     [java] [getInstance] Eliminating dead code...
     [java] [getInstance]     Constructing
soot.toolkits.graph.ExceptionalUnitGraph...
     [java] [getInstance]     Constructing SimpleLiveLocals...
     [java] [getInstance]     Constructing SmartLocalDefs...
     [java] [getInstance]        done localToDefs map...
     [java] [getInstance]        done unitToMask map...
     [java] [getInstance]     SmartLocalDefs finished.
     [java] [getInstance]     Constructing SimpleLocalUses...
     [java] [getInstance]     finished SimpleLocalUses...
     [java] Applying phase jb.cp-ule to <java.security.cert.CertStore:
java.security.cert.CertStore
getInstance(java.lang.String,java.security.cert.CertStoreParameters)>.
     [java] [getInstance] Eliminating unused locals...
     [java] Applying phase jb.ne to <java.security.cert.CertStore:
java.security.cert.CertStore
getInstance(java.lang.String,java.security.cert.CertStoreParameters)>.
     [java] [getInstance] Removing nops...
     [java] Applying phase jb.uce to <java.security.cert.CertStore:
java.security.cert.CertStore
getInstance(java.lang.String,java.security.cert.CertStoreParameters)>.
     [java] [getInstance] Eliminating unreachable code...
     [java] [getInstance]     Constructing
soot.toolkits.graph.ExceptionalUnitGraph...
     [java] [getInstance]     Removed 0 statements...
     [java] [<clinit>] Constructing JimpleBody from coffi...
     [java] [<clinit>]     Parsing Coffi instructions...
     [java] [<clinit>]     Building Coffi CFG...
     [java] [<clinit>]     Producing naive Jimple...
     [java] Applying phase jb.ls to <java.security.cert.CertPathBuilder: void
<clinit>()>.
     [java] [<clinit>] Splitting locals...
     [java] [<clinit>]     Constructing soot.toolkits.graph.ExceptionalUnitGraph...
     [java] [<clinit>]     Constructing SimpleLiveLocals...
     [java] [<clinit>]     Constructing SmartLocalDefs...
     [java] [<clinit>]        done localToDefs map...
     [java] [<clinit>]        done unitToMask map...
     [java] [<clinit>]     SmartLocalDefs finished.
     [java] [<clinit>]     Constructing SimpleLocalUses...
     [java] [<clinit>]     finished SimpleLocalUses...
     [java] Applying phase jb.a to <java.security.cert.CertPathBuilder: void
<clinit>()>.
     [java] [<clinit>] Aggregating iteration 1...
     [java] [<clinit>]     Constructing soot.toolkits.graph.ExceptionalUnitGraph...
     [java] [<clinit>]     Constructing SimpleLiveLocals...
     [java] [<clinit>]     Constructing SmartLocalDefs...
     [java] [<clinit>]        done localToDefs map...
     [java] [<clinit>]        done unitToMask map...
     [java] [<clinit>]     SmartLocalDefs finished.
     [java] [<clinit>]     Constructing SimpleLocalUses...
     [java] [<clinit>]     finished SimpleLocalUses...
     [java] [<clinit>] Aggregating iteration 2...
     [java] [<clinit>]     Constructing soot.toolkits.graph.ExceptionalUnitGraph...
     [java] [<clinit>]     Constructing SimpleLiveLocals...
     [java] [<clinit>]     Constructing SmartLocalDefs...
     [java] [<clinit>]        done localToDefs map...
     [java] [<clinit>]        done unitToMask map...
     [java] [<clinit>]     SmartLocalDefs finished.
     [java] [<clinit>]     Constructing SimpleLocalUses...
     [java] [<clinit>]     finished SimpleLocalUses...
     [java] Applying phase jb.ule to <java.security.cert.CertPathBuilder: void
<clinit>()>.
     [java] [<clinit>] Eliminating unused locals...
     [java] Applying phase jb.tr to <java.security.cert.CertPathBuilder: void
<clinit>()>.
     [java] [TypeAssigner] typing system started on Wed Apr 22 22:54:07 EDT 2009
     [java] [TypeAssigner] typing system ended. It took 0 mins and 0 secs.
     [java] Applying phase jb.lns to <java.security.cert.CertPathBuilder: void
<clinit>()>.
     [java] Applying phase jb.cp to <java.security.cert.CertPathBuilder: void
<clinit>()>.
     [java] [<clinit>] Propagating copies...
     [java] [<clinit>]     Constructing soot.toolkits.graph.ExceptionalUnitGraph...
     [java] [<clinit>]     Constructing SimpleLiveLocals...
     [java] [<clinit>]     Constructing SmartLocalDefs...
     [java] [<clinit>]        done localToDefs map...
     [java] [<clinit>]        done unitToMask map...
     [java] [<clinit>]     SmartLocalDefs finished.
     [java] [<clinit>]     Propagated: 0 fast copies  0 slow copies
     [java] Applying phase jb.dae to <java.security.cert.CertPathBuilder: void
<clinit>()>.
     [java] [<clinit>] Eliminating dead code...
     [java] [<clinit>]     Constructing soot.toolkits.graph.ExceptionalUnitGraph...
     [java] [<clinit>]     Constructing SimpleLiveLocals...
     [java] [<clinit>]     Constructing SmartLocalDefs...
     [java] [<clinit>]        done localToDefs map...
     [java] [<clinit>]        done unitToMask map...
     [java] [<clinit>]     SmartLocalDefs finished.
     [java] [<clinit>]     Constructing SimpleLocalUses...
     [java] [<clinit>]     finished SimpleLocalUses...
     [java] Applying phase jb.cp-ule to <java.security.cert.CertPathBuilder:
void <clinit>()>.
     [java] [<clinit>] Eliminating unused locals...
     [java] Applying phase jb.ne to <java.security.cert.CertPathBuilder: void
<clinit>()>.
     [java] [<clinit>] Removing nops...
     [java] Applying phase jb.uce to <java.security.cert.CertPathBuilder: void
<clinit>()>.
     [java] [<clinit>] Eliminating unreachable code...
     [java] [<clinit>]     Constructing soot.toolkits.graph.ExceptionalUnitGraph...
     [java] [<clinit>]     Removed 0 statements...
     [java] [handleException] Constructing JimpleBody from coffi...
     [java] [handleException]     Parsing Coffi instructions...
     [java] [handleException]     Building Coffi CFG...
     [java] [handleException]     Producing naive Jimple...
     [java] Applying phase jb.ls to <java.security.cert.CertStore:
java.security.cert.CertStore
handleException(java.security.NoSuchAlgorithmException)>.
     [java] [handleException] Splitting locals...
     [java] Java Result: 139