toDex: "check-cast on non-reference in v0" with k9mail APK

[soot-oss]

toDex: "check-cast on non-reference in v0" with k9mail APK

[StevenArzt]

The verifier error is not reproducible with the most current version of K9 Mail and Soot, but something else seems to go wrong. Directly on launch, the app dies with an IllegalArgumentException while initializing com.actionbarsherlock.ActionBarSherlock.

[StevenArzt]

Looking into the issue a bit more, the exception is raised because method "registerImplementation(java.lang.Class)" which is called inside the static initializer of ActionBarSherlock checks for an annotation (java.lang.Class.isAnnotationPresent) on the class it receives as an argument. However, all annotations are lost somewhere in the process. I'm currently not sure how Soot handles annotations in general - checking back with @ericbodden on that topic.

[Alexandre-Bartel]

I cannot reproduce this bug with the latest version of Soot and an emulator running Android 2.2.
@StevenArzt Could you check if it's fine on your side as well and close the issue?

[StevenArzt]

@Alexandre-Bartel This is still an open issue for the same reason I stated above. I have just tested it once again on a real phone running Android 4.3. Presumably there's little other chance than implementing the missing support for annotation in Dexpler.

[Alexandre-Bartel]

@StevenArzt Which version of the app are you using? http://code.google.com/p/k9mail/downloads/list

[StevenArzt]

@Alexandre-Bartel It's 4.409. I've sent the file I have on my disk (and that definitely fails) to you via e-mail.

[Alexandre-Bartel]

@StevenArzt Annotations are now supported and 4.409 seems to work with the latest version of Soot. Could you confirm?

[StevenArzt]

Great, the annotations are now preserved. Thank you, @Alexandre-Bartel