ClassGenException in Pass3aVerifier

public class ParserTest { public void testWithInputStream(InputStream inputStream) throws IOException { JavaClass clazz; try { clazz = new ClassParser(inputStream, "Hello.class" ).parse(); } catch (ClassFormatException e) { // ClassFormatException thrown by the parser is just invalid input Assume.assumeNoException(e); return ; } // Any non-IOException thrown here should be marked a failure // (including ClassFormatException) verifyJavaClass(clazz); } private void verifyJavaClass( JavaClass javaClass) throws IOException { try { Repository.addClass(javaClass); Verifier verifier = StatelessVerifierFactory.getVerifier(javaClass.getClassName()); VerificationResult result; result = verifier.doPass1(); assumeThat(result.getMessage(), result.getStatus(), is(VerificationResult.VERIFIED_OK)); result = verifier.doPass2(); assumeThat(result.getMessage(), result.getStatus(), is(VerificationResult.VERIFIED_OK)); for ( int i = 0; i < javaClass.getMethods().length; i++) { result = verifier.doPass3a(i); assumeThat(result.getMessage(), result.getStatus(), is(VerificationResult.VERIFIED_OK)); } } finally { Repository.clearCache(); } } public static void main( String [] args) throws IOException { ParserTest pt = new ParserTest(); FileInputStream fis = new FileInputStream( new File( "/home/jamesk/bcel_bugs/classgen.input" )); pt.testWithInputStream(fis); } }