[BCEL-27] Verifier does not report the signature of methods not found

• Type: Improvement
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 5.2
• Component/s: Main
• External issue URL: https://issues.apache.org/bugzilla/show_bug.cgi?id=20465
• External issue ID: 20465
• Assignee: Apache Commons Developers
• Reporter: Stephen Kolaroff
• Created: 04/Jun/03 07:56
• Updated: 24/Apr/14 09:51
• Resolved: 31/Jul/05 00:34

Description

When JustICE finds that INVOKEXXX instruction references non-existing method, it reports the method name, but not the method signature: (Pass 3a)
"constraint violated: Referenced method 'XXXX' with expected signature not found in class 'my.package.Clazz'. The native verifier possibly allows the method to be declared in some superclass or implemented interface, which the Java Virtual Machine Specification, Second Edition does not."

It would be mutch better if along with the method name, its arguments and return types (signature) is reported.

Regards,
Cheffo