[Soot-list] Error in dexpler

[Ishan Khot]

Hi Soot list,

I get the following error while converting from apk to jimple in a lot of
different android apps due to which I am not able to carry out large scale
analysis on different apps.

Exception in thread "main" java.lang.ClassCastException: soot.RefType
cannot be cast to soot.ArrayType
at
soot.jimple.toolkits.typing.integer.ConstraintCollector.caseAssignStmt(ConstraintCollector.java:303)
at soot.jimple.internal.JAssignStmt.apply(JAssignStmt.java:245)
at
soot.jimple.toolkits.typing.integer.ConstraintCollector.collect(ConstraintCollector.java:114)
at
soot.jimple.toolkits.typing.integer.TypeResolver.collect_constraints_1(TypeResolver.java:244)
at
soot.jimple.toolkits.typing.integer.TypeResolver.resolve_step_1(TypeResolver.java:197)
at
soot.jimple.toolkits.typing.integer.TypeResolver.resolve(TypeResolver.java:157)
at
soot.jimple.toolkits.typing.fast.TypeResolver.inferTypes(TypeResolver.java:171)
at
soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:117)
at soot.BodyTransformer.transform(BodyTransformer.java:52)
at soot.BodyTransformer.transform(BodyTransformer.java:59)
at soot.BodyTransformer.transform(BodyTransformer.java:64)
at soot.dexpler.DexBody.jimplify(DexBody.java:540)
at soot.dexpler.DexMethod$1.getBody(DexMethod.java:236)
at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:89)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:322)
at soot.PackManager.retrieveAllBodies(PackManager.java:1093)
at soot.PackManager.runPacksNormally(PackManager.java:426)
at soot.PackManager.runPacks(PackManager.java:386)
at soot.Main.run(Main.java:198)
at soot.Main.main(Main.java:141)

I ran soot with the options
-cp . -pp -android-jars /home/android-platforms-master -src-prec apk
-process-dir /home/myapp.apk -d /home/sootOutput  -allow-phantom-refs -f J

I found this error with quite a few apps. I would really appreciate some
help in getting rid of this error.

Thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130617/c0bc7ae7/attachment.html