Re: Option -W

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

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