[Soot-list] RuntimeException in whole-program mode

[Ondrej Lhotak]

This sounds a little bit like bug #7 in the bugzilla. It looks like the
type assigner hasn't assigned a type to some local. This is strange,
because it normally checks afterwards that all locals have been assigned
a type.

Are you using only -w, or other switches as well? Could you post the
code that you are analyzing? Preferably, this should go in the bugzilla.

Ondrej

On Sun, Mar 20, 2005 at 05:08:19AM -0800, Mayur Naik wrote:
> 
> I get the following exception when I run "java soot.Main -w" on a simple 
> Java program.  I'm using java version 1.4.2_04.  Any idea what's causing 
> this problem?  I was earlier getting a different exception because I was 
> using java 1.5, but realized that soot doesn't support it, so I switched 
> to java 1.4, and now I'm getting this exception.
> 
> java.lang.RuntimeException: Unhandled type .unknown
>  	at soot.FastHierarchy.canStoreType(FastHierarchy.java:216)
>  	at soot.jimple.toolkits.callgraph.VirtualCalls.resolve(VirtualCalls.java:86)
>  	at soot.jimple.toolkits.callgraph.VirtualCalls.resolve(VirtualCalls.java:83)
>  	at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.addType(OnFlyCallGraphBuilder.java:103)
>  	at soot.jimple.toolkits.callgraph.CallGraphBuilder.build(CallGraphBuilder.java:104)
>  	at soot.jimple.toolkits.callgraph.CHATransformer.internalTransform(CHATransformer.java:43)
>  	at soot.SceneTransformer.transform(SceneTransformer.java:39)
>  	at soot.Transform.apply(Transform.java:89)
>  	at soot.RadioScenePack.internalApply(RadioScenePack.java:60)
>  	at soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:36)
>  	at soot.Pack.apply(Pack.java:110)
>  	at soot.PackManager.runWholeProgramPacks(PackManager.java:349)
>  	at soot.PackManager.runPacks(PackManager.java:300)
>  	at soot.Main.run(Main.java:179)
>  	at soot.Main.main(Main.java:153)
> Exception in thread "main"
> 
> Thanks,
> -- Mayur
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://www.sable.mcgill.ca/mailman/listinfo/soot-list
>