commons-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jérôme Leroux (JIRA) <j...@apache.org>
Subject [jira] [Created] (BCEL-189) Wrong field resolution in the verifier may lead to verification error
Date Thu, 08 Jan 2015 09:04:34 GMT
Jérôme Leroux created BCEL-189:
----------------------------------

             Summary: 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


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)

Mime
View raw message