[ 
https://issues.apache.org/jira/browse/BCEL-253?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Mark Roberts updated BCEL-253:
------------------------------
    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.


  was:
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.)



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

Reply via email to