[BCEL-184] JustIce verifier does not check correctly the returned value of a method

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 5.2, 6.0
• Fix Version/s: 6.0
• Component/s: Verifier
• Assignee: Unassigned
• Reporter: Jérôme Leroux
• Created: 17/Dec/14 09:32
• Updated: 14/Jul/16 12:48
• Resolved: 07/Mar/15 00:24

Description

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:

       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)