Re: Option -W

[Phung Hua Nguyen <nhp@cse.unsw.edu.au>]

Hi All,

Thank you for your reply. I tried again with $HOME but it still didn't
work. For more information, the version of Soot I used is 2.0.1.
 java soot.Main -app -W -d tempdb -f jimple -soot-class-path
$HOME/Benchmark/jvm98:$HOME/j2sdk1.3.1/jre/lib/rt.jar
spec.benchmarks._209_db.Main

Soot started on Thu Aug 14 12:00:47 EST 2003
[Call Graph] For information on where the call graph may be incomplete,
use the verbose option to the cg phase.
Exception in thread "main" java.lang.RuntimeException: Class
java.lang.String doesn't have method <init>([byte[]]) : void; failed to
resolve in superclasses and interfaces
        at soot.SootClass.getMethod(SootClass.java:427)
        at soot.coffi.CFG.generateJimple(CFG.java:4498)
        at soot.coffi.CFG.jimplify(CFG.java:1436)
        at soot.coffi.CFG.jimplify(CFG.java:1099)
        at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:98)
        at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:274)
        at
soot.jimple.toolkits.callgraph.CallGraphBuilder.processNewMethod(CallGraphBuilder.java:114)
        at
soot.jimple.toolkits.callgraph.CallGraphBuilder.processWorklist(CallGraphBuilder.java:93)
        at
soot.jimple.toolkits.callgraph.CallGraphBuilder.build(CallGraphBuilder.java:81)
        at
soot.jimple.toolkits.callgraph.CHATransformer.internalTransform(CHATransformer.java:43)
        at soot.SceneTransformer.transform(SceneTransformer.java:39)
        at soot.Transform.apply(Transform.java:79)
        at soot.RadioScenePack.internalApply(RadioScenePack.java:60)
        at
soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:36)
        at soot.Pack.apply(Pack.java:104)
        at soot.PackManager.runWholeProgramPacks(PackManager.java:263)
        at soot.PackManager.runPacks(PackManager.java:246)
        at soot.Main.run(Main.java:172)
        at soot.Main.main(Main.java:152)

Thanks in advance,

Phung
On Wed, 13 Aug 2003, Ondrej Lhotak wrote:

> This looks like it might problem with the classpath. Try replacing the ~
> with $HOME and let us know whether that fixes the problem.
>
> Ondrej
>
> On Wed, Aug 13, 2003 at 03:53:19PM +1000, Phung Hua Nguyen wrote:
> > Hi all,
> >
> > When I tried soot like this:
> > java soot.Main --app  -d tempdb -f jimple -soot-class-path
> > ~/Benchmark/jvm98:~
> > /j2sdk1.3.1/jre/lib/rt.jar spec.benchmarks._209_db.Main
> > it works well.
> > However, when I add option -W to make it do
> > whole-program optimizations, it gives errors:
> > java soot.Main --app -W -d tempdb -f jimple
> > -soot-class-path ~/Benchmark/jvm98:~/j2sdk1.3.1/jre/lib/rt.jar
> > spec.benchmarks._209_db.Main
> >
> > Soot started on Wed Aug 13 15:43:05 EST 2003
> > [Call Graph] For information on where the call graph may be incomplete,
> > use the verbose option to the cg phase.
> > Exception in thread "main" java.lang.RuntimeException: Class
> > java.lang.String doesn't have method <init>([byte[]]) : void; failed to
> > resolve in superclasses and interfaces
> >         at soot.SootClass.getMethod(SootClass.java:427)
> >         at soot.coffi.CFG.generateJimple(CFG.java:4498)
> >
> > Could you please help me solve this problem? Please forgive me if it is a
> > dump question.
> >
> >  Nguyen Hua Phung
> > University of New South Wales
>

Nguyen Hua Phung
University of New South Wales