[Soot-list] CallGraph exception

[Andrea Mattavelli]

Hi Phil,
I've just tried to use the latest version from GIT but I obtain the same "null typing" exception:

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:89)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:322)
at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:531)
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:49)
at soot.Pack.apply(Pack.java:114)
at soot.PackManager.runWholeProgramPacks(PackManager.java:454)
at soot.PackManager.runPacksNormally(PackManager.java:368)
at soot.PackManager.runPacks(PackManager.java:334)
at soot.Main.run(Main.java:198)
at soot.Main.main(Main.java:141)
at Main.main(Main.java:42)

I cloned the 'trunk' repository https://github.com/Sable/soot, is it correct? Or has your patch been placed into a specific branch?

Thanks,
Andrea

_______________________________

Andrea Mattavelli

PhD Student
Faculty of Informatics
University of Lugano
via G. Buffi 13
CH-6900 Lugano - Switzerland

email:    andrea.mattavelli at usi.ch<mailto:andrea.mattavelli at usi.ch>
phone:  +41 58 666 4312
http://star.inf.usi.ch<http://star.inf.usi.ch/>

On 22-giu-2012, at 18:22, Phil Pratt-Szeliga wrote:

Hi Andrea,

Regarding this exception:

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)

I think a patch I submitted has fixed this problem. Can you try again
using the latest from the new github [1] repository and let me know if
you are still getting the "null typing" problem?

Phil Pratt-Szeliga
Syracuse University

[1] https://github.com/Sable/soot