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