[Soot-list] null typing passed to useChecker

[Yitzhak Mandelbaum]

Hi,

Soot is crashing with an error I don't quite understand. Any answers or suggestions for how to further debug would be helpful. I suspect this problem is closely related to the thread last year on this list:

http://www.sable.mcgill.ca/pipermail/soot-list/2011-May/003695.html

Here are the details:

I'm running Soot on some class files that have been generated via decompiling an Android app's dex files with the ded tool. 

I invoke Soot as follows:

    java -cp ~/sw/ded/soot/soot-2.5.0.jar soot.Main \
	    -pp \
	    -f none \
	    -cp build:dedout/retargeted/com.skype.raider-1:${cp_android} \
	    -process-dir  dedout/skype-files/

After a few seconds of processing, Soot crashes with:

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.PackManager.retrieveAllBodies(PackManager.java:974)
	at soot.PackManager.runPacks(PackManager.java:338)
	at soot.Main.run(Main.java:198)
	at soot.Main.main(Main.java:141)

I don't know which class file killed Soot. I'm running on a directory of files which is rather large.

Thanks,
Yitzhak

-----------------------------
Yitzhak Mandelbaum