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)