[BCEL-4] Pass3b Verifier is corrupted

• Type: Bug
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 5.0
• Component/s: Main

Environment

Operating System: All
Platform: All

• External issue URL: https://issues.apache.org/bugzilla/show_bug.cgi?id=10269
• Severity: major
• Priority: P3
• External issue ID: 10269
• Assignee: Apache Commons Developers
• Reporter: Peter Schneider
• Created: 27/Jun/02 02:37
• Updated: 27/Oct/22 12:25
• Resolved: 20/Mar/05 17:06

Description

The Repostiroty method
public static boolean implementationOf(JavaClass clazz, JavaClass inter);
Isn't working correctly. Therefore the Cast checks performed in the Pass3b
verifier are wrong.
With this simple program the verifcation fails.
(tested with jdk1.4.0 W32)
<code>
class A implements B{
static C temp;
public static void main(String[] args)

{ temp = new A(); }

}
interface B extends C{
}
interface C{
}
</code>

The reason is simple. Interfaces are checked only directly. Interfaces
inherited indirectly are forgotten.

There is another version of this bug, where even direct implemented interfaces
are not recognized, but i wasn't able to reduce it to a simple example.