[
https://issues.apache.org/jira/browse/BCEL-253?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14707516#comment-14707516
]
Mark Roberts commented on BCEL-253:
-----------------------------------
The way we get started is with a new ControlFlowGraph. So if that constructor
had an optional flag to say ignore this case - that would be great.
> 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)
