commons-issues mailing list archives

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


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:
>             Project: Commons BCEL
>          Issue Type: Bug
>            Reporter: Mark Roberts
> Quoting from src/main/java/org/apache/commons/bcel6/verifier/structurals/
>   * 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

View raw message