[Soot-list] Question about inner class and failure to verify using ASM3.3.1

[Henddher Pedroza]

Hello,

I am using Soot 2.5.0 and ASM3.3.1 BasicVerifier and Analyzer and came
across an issue:

BasicVerifier+Analyzer throws IAE "invalid method descr(null or empty)"
when I try to verify a .jar file.

The source .java is as follows:

//Issue.java:
import java.io.Serializable;
public class Issue {
      Serializable serializable = new Serializable() {
          public void dummy() {
          }
      };
}

I compile the class with javac 1.7.0_05.
$ javac -d . Issue.java

Then, I ran the classes through Soot 2.5.0:
$ java soot.Main -app -d output.jar -outjar Issue

Soot started on Thu Oct 25 17:05:28 CDT 2012
Transforming Issue...
Transforming Issue$1...
Writing to Issue.class
Writing to Issue$1.class
Soot finished on Thu Oct 25 17:05:29 CDT 2012
Soot has run for 0 min. 1 sec.

Finally, I run the .jar through ASM 3.3.1 Analyzer+BasicVerifier, the
exception happens when checking Issue$1.class, after checking Issue.class:
$ java -jar asm311verifier.jar output.jar -pd

java.lang.IllegalArgumentException: Invalid method descriptor (must not
be null or empty)
      at
org.objectweb.asm.util.CheckMethodAdapter.checkMethodDesc(CheckMethodAdapter.java:1104)
      at
org.objectweb.asm.util.CheckClassAdapter.visitOuterClass(CheckClassAdapter.java:405)
      at org.objectweb.asm.ClassReader.accept(ClassReader.java:572)
      at org.objectweb.asm.ClassReader.accept(ClassReader.java:425)

I have attached the source, original .class and transformed classes
should anyone wanted to experiment.

Any advice?

Thanks in advance.

- Henddher





-------------- next part --------------
A non-text attachment was scrubbed...
Name: innerclassissue.jar
Type: application/x-java-archive
Size: 289245 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20121025/b74f06bb/attachment-0001.jar