Details
-
Bug
-
Status: Closed
-
Blocker
-
Resolution: Fixed
-
None
-
None
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
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.