[Soot-list] null typing passed to useChecker

[Eric Bodden]

Hi.

Are you using DeDexer? If yes than this may be the problem. It's quite
buggy and is known to generate incorrect bytecode.

Eric

On 6 June 2012 18:11, Yitzhak Mandelbaum <yhmandelbaum at cert.org> wrote:
> 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
>
>
> --------------------------------------------------
> Yitzhak Mandelbaum
> CERT / Software Engineering Institute
> Carnegie Mellon University
> http://www.andrew.cmu.edu/~yhm
>
>
>
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt