[Soot-list] null typing passed to useChecker

[Yitzhak Mandelbaum]

I'm using ded from Penn state.  However, I've just switched to dex2jar and found that the output works with Soot and it runs 100x (!) faster.

Yitzhak

On Jun 7, 2012, at 10:34 AM, Eric Bodden wrote:

> 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

--------------------------------------------------
Yitzhak Mandelbaum
CERT / Software Engineering Institute
Carnegie Mellon University
http://www.andrew.cmu.edu/~yhm