Re: problem when trying soot with jvm98

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

This seems like a problem with the classpath. I would suggest trying the
classpath with the full paths, without the ~. Java doesn't support it,
and while Soot tries to support it, it needs some help from Java, and it
doesn't always work.

Ondrej

On Tue, Jul 01, 2003 at 03:38:05PM +1000, Phung Hua Nguyen wrote:
> Hi all,
> 
> I have a problem when using soot to analyse jvm98 benchmarks. 
> The benhmarks worked well when I used them with java 1.2.2 or jikes rvm.
> I tried soot on java 1.3.1 and java 1.2.2 but they gave the same problem.
> These are the commnand and error message.
> I am using soot 2.0.1 but I also had the same problem with soot 1.2.5
> The OS is Linux 2.4 running on Pentium 4.
> 
> I highly appreciate all your help
> Thanks,
> Phung
>  ~/jdk1.2.2/bin/java soot.Main -W --app  --soot-classpath ~/Benchmark/tmp/jvm98:~/jdk1.2.2/jre/lib/rt.jar -d soot_result -f c SpecApplication 
> Soot started on Tue Jul 01 15:20: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.SecurityManager doesn't have method checkSecurityAccess([java.lang.String]) : void; failed to resolve in superclasses and interfaces
>         at soot.SootClass.getMethod(SootClass.java:427)
>         at soot.coffi.CFG.generateJimple(CFG.java:4424)
>         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:255)
>         at soot.PackManager.runPacks(PackManager.java:238)
>         at soot.Main.run(Main.java:172)
>         at soot.Main.main(Main.java:152)
>