[BCEL-253] Pass 3b verifier is too strict.

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 6.0
• Assignee: Unassigned
• Reporter: Mark Roberts
• Created: 21/Aug/15 18:16
• Updated: 14/Jul/16 12:48
• Resolved: 23/Aug/15 22:28

Description

Quoting from src/main/java/org/apache/commons/bcel6/verifier/structurals/Subroutines.java:

• JustIce also mandates subroutines not to be protected by exception
• handling code (for the sake of control flow predictability).

This is too strict. Several methods in the jdk contain this construct and hence fail to verify. (javax/management/remote/rmi/_RMIServer_Stub.class is one such example.)

The lines at 479-496 need to be removed or modified is some way to allow a BCEL based tool to process all of the JDK.