[jira] [Updated] (BCEL-89) return type not verified by JustIce

["Emmanuel Bourg (JIRA)" <ji...@apache.org>]

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

Emmanuel Bourg updated BCEL-89:
-------------------------------

             Priority: Blocker
          Environment:     (was: Operating System: Linux
Platform: PC)
    Affects Version/s:     (was: unspecified)
        Fix Version/s: 6.0
             Priority:   (was: P2)
             Severity:   (was: normal)

> return type not verified by JustIce
> -----------------------------------
>
>                 Key: BCEL-89
>                 URL: https://issues.apache.org/jira/browse/BCEL-89
>             Project: Commons BCEL
>          Issue Type: Bug
>          Components: Main
>            Reporter: malloovidio
>            Assignee: Apache Commons Developers
>            Priority: Blocker
>             Fix For: 6.0
>
>         Attachments: Test.class, bcel-verifier-patch.txt
>
>
> I have found the following very simple class to be accepted by the JustIce
> verifier (BCEL 5.2) even though it should clearly not.
> $$$ javap -c Test
> Compiled from "Test.java"
> public class Test extends java.lang.Object{
> public Test();
>   Code:
>    0:   aload_0
>    1:   invokespecial   #9; //Method java/lang/Object."<init>":()V
>    4:   return
> public java.lang.String foo(java.lang.String, java.lang.Integer);
>   Code:
>    0:   aload_2
>    1:   areturn
> }
> In the method "foo", an Integer is returned instead of a String but JustIce does
> not complain about that. The Sun verifier rejects the class.



--
This message was sent by Atlassian JIRA
(v6.2#6252)