commons-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Mark Roberts (JIRA)" <j...@apache.org>
Subject [jira] [Commented] (BCEL-253) Pass 3b verifier is too strict.
Date Fri, 21 Aug 2015 21:57:45 GMT

    [ 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)

Mime
View raw message