[
https://issues.apache.org/jira/browse/BCEL-253?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14708435#comment-14708435
]
Sebb commented on BCEL-253:
---------------------------
URL: http://svn.apache.org/r1697224
Log:
BCEL-253 Pass 3b verifier is too strict.
Modified:
commons/proper/bcel/trunk/src/changes/changes.xml
commons/proper/bcel/trunk/src/main/java/org/apache/commons/bcel6/verifier/structurals/ControlFlowGraph.java
commons/proper/bcel/trunk/src/main/java/org/apache/commons/bcel6/verifier/structurals/Subroutines.java
> Pass 3b verifier is too strict.
> -------------------------------
>
> Key: BCEL-253
> URL: https://issues.apache.org/jira/browse/BCEL-253
> Project: Commons BCEL
> Issue Type: Bug
> Reporter: Mark Roberts
>
> 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.
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)
