[BCEL-89] return type not verified by JustIce

• Type: Bug
• Status: Closed
• Priority: Blocker
• Resolution: Fixed
• Fix Version/s: 6.0
• Component/s: Main
• External issue URL: https://issues.apache.org/bugzilla/show_bug.cgi?id=40577
• External issue ID: 40577
• Assignee: Apache Commons Developers
• Reporter: malloovidio
• Created: 22/Sep/06 09:41
• Updated: 14/Jul/16 12:48
• Resolved: 06/Apr/07 10:41

Description

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.