[Soot-list] Whole program and use original names cause
Eric Bodden
bodden at st.informatik.tu-darmstadt.de
Wed Aug 18 03:28:37 EDT 2010
Dear Konrad,
this looks like a bug to me. Do you have a minimal test case that
exposes the problem? Best would be to attach it to a bug report in our
bugzilla.
Eric
--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478 Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
On 17 August 2010 13:35, Konrad Siek <konrad.siek at cs.put.poznan.pl> wrote:
> Hello,
>
> I've been playing around with various features of the Soot framework and
> found that while individually setting "-whole-body" and "-p jb
> use-original-names:true" seems to work fine, using the two together
> causes an exception to be thrown. Are these two basically incompatible,
> am I doing something wrong, or is this some kind of problem with Soot?
>
> The exception trace:
> java.lang.Exception: null typing passed to useChecker
> at
> soot.jimple.toolkits.typing.fast.UseChecker.check(UseChecker.java:50)
> at
> soot.jimple.toolkits.typing.fast.TypeResolver.insertCasts(TypeResolver.java:345)
> at
> soot.jimple.toolkits.typing.fast.TypeResolver.inferTypes(TypeResolver.java:124)
> at
> soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:101)
> at soot.BodyTransformer.transform(BodyTransformer.java:51)
> at soot.Transform.apply(Transform.java:104)
> at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:66)
> at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:89)
> at soot.Pack.apply(Pack.java:124)
> at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:117)
> at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:82)
> at soot.SootMethod.retrieveActiveBody(SootMethod.java:315)
> at
> soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:526)
> at
> soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:426)
> at
> soot.jimple.toolkits.callgraph.CallGraphBuilder.build(CallGraphBuilder.java:84)
> 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:57)
> at
> soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:47)
> at soot.Pack.apply(Pack.java:114)
> at soot.PackManager.runWholeProgramPacks(PackManager.java:408)
> at soot.PackManager.runPacks(PackManager.java:329)
> at soot.Main.run(Main.java:198)
> at soot.Main.main(Main.java:141)
> at soa.atomicrmi.soot.Soot.main(Soot.java:63)
>
> k
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
More information about the Soot-list
mailing list