Proguard 4.7 with Eclipse SDK 3.7.1: Proguard fails with java.io.IOException - (Unknown verification type [25] in stack map frame)

Question

Update: This problem is fixed in new versions of Samsung\'s SPen SDK.

I am trying to create a signed APK with Eclipse 3.7.1, running Proguard 4.7 as part of the pr

Answer 1

The problem is caused by corrupt preverification information (a StackMapTable attribute) attached to a method in the SPen library (libspen.jar). The library appears to have been processed with ProGuard itself, but maybe the preverification was misconfigured, or another tool has subsequently broken the preverification information. You could modify ProGuard to ignore the attribute and even preverify the library again. I will notify Samsung in your thread on their developers' forum.

Answer 2

I met the same problem but it disappeared when I changed my output class format to 1.6. it seems spenlib.jar is compiled with class format 1.6 and your compiler is set to 1.5 or vice versa. I have no idea why proguard complain on it but it worked.