commons-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jérôme Leroux (JIRA) <j...@apache.org>
Subject [jira] [Updated] (BCEL-184) JustIce verifier does not check correctly the returned value of a method
Date Wed, 17 Dec 2014 09:37:13 GMT

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

Jérôme Leroux updated BCEL-184:
-------------------------------
    Attachment: BCEL-184.zip
                BCEL-184.patch

Attach patch:
* Fix for BCEL-184
* Test for BCEL-184

Attach zip:
* Classfile test case for BCEL-184


> JustIce verifier does not check correctly the returned value of a method
> ------------------------------------------------------------------------
>
>                 Key: BCEL-184
>                 URL: https://issues.apache.org/jira/browse/BCEL-184
>             Project: Commons BCEL
>          Issue Type: Bug
>          Components: Verifier
>    Affects Versions: 5.2, 6.0
>            Reporter: Jérôme Leroux
>         Attachments: BCEL-184.patch, BCEL-184.zip
>
>   Original Estimate: 1h
>  Remaining Estimate: 1h
>
> Defining a {{areturn}} opcode (return object) in a void method is accepted by the bytecode
verifier.
> This must not be allowed.
> Here is an example of a non-valid bytecode for a void method:
> {code}
>        BB 0003      // 0   : new java/lang/Object
>        59           // 3   : dup 
>        B7 0008      // 4   : invokespecial java/lang/Object.<init>()V
>        00           // 7   : nop 
>        B0           // 8   : areturn (Not allowed in a void method)
> {code}



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)

Mime
View raw message