[
https://issues.apache.org/jira/browse/BCEL-189?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Jérôme Leroux updated BCEL-189:
-------------------------------
Attachment: BCEL-189.zip
BCEL-189.patch
Attach patch with:
* Fix for BCEL-189
* Test for BCEL-189
Attach zip with:
* Classfile for test for BCEL-189
> Wrong field resolution in the verifier may lead to verification error
> ---------------------------------------------------------------------
>
> Key: BCEL-189
> URL: https://issues.apache.org/jira/browse/BCEL-189
> Project: Commons BCEL
> Issue Type: Bug
> Components: Verifier
> Affects Versions: 6.0
> Reporter: Jérôme Leroux
> Attachments: BCEL-189.patch, BCEL-189.zip
>
>
> The field reference resolution is not implemented correctly in the verifier.
> This may lead to an unresolved field reference that fails the verification of
> a correct classfile.
> Here is a Java example that fails:
> {code:java}
> public class B extends A{
> public void test(){
> int i = this.field;
> }
> }
> class A {
> int field;
> }
> {code}
> See chapter _5.4.3.2 Field Resolution_ of the _The Java Virtual Machine
> Specification Second Edition_ for more information
> (http://docs.oracle.com/javase/specs/jvms/se5.0/html/ConstantPool.doc.html#71685)
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)
