[Soot-list] Exception when specifying use-original-names:true in whole-shimple mode

[Guillaume Salagnac]

Hi,

It's not a problem for me since I don't need them, but soot doesn't like 
the combination of the -ws and -p jb use-original-names:true options.

I don't know if it should be considered as a real bug, since 'orignial 
names' don't have much meaning when working with SSA code, but an 
exception is quite an abrupt way to say it ;-)


$ java -mx400m soot.Main -ws -f S -p jb use-original-names:true Test01

Soot started on Mon Sep 27 15:03:42 MEST 2004
[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: Unhandled type int
   at soot.FastHierarchy.canStoreType(FastHierarchy.java:211)
   at soot.jimple.toolkits.callgraph.VirtualCalls.resolve(VirtualCalls.java:83)
   at soot.jimple.toolkits.callgraph.VirtualCalls.resolve(VirtualCalls.java:124)
   at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.addType(OnFlyCallGraphBuilder.java:100)
   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:79)
   at soot.RadioScenePack.internalApply(RadioScenePack.java:60)
   at soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:36)
   at soot.Pack.apply(Pack.java:107)
   at soot.PackManager.runWholeProgramPacks(PackManager.java:299)
   at soot.PackManager.runPacks(PackManager.java:275)
   at soot.Main.run(Main.java:180)
   at soot.Main.main(Main.java:154)


-G
-- 
Guillaume Salagnac
Equipe "Systèmes Temporisés et Hybrides." Verimag. Grenoble. France.

Mangez un castor, vous sauverez un arbre.