[Bug libgcj/20047] New: runtime 'protected' access checks

[Bug libgcj/20047] New: runtime 'protected' access checks

[tromey at gcc dot gnu dot org]

Various jvm opcodes such as "invokespecial" and "getfield"
have runtime restrictions on access to protected members.
For instance, when using getfield, the object reference must
be the current class or a subclass of it.
These access checks are not currently performed.  They should be.
In some cases it may be possible to determine this statically,
or to treat it as equivalent to a runtime type assertion.
I'm not sure this can be done in all cases; some testing is required.
(The question is really whether the verifier catches this during
its modeling, or whether the check is performed during execution.)

-- 
           Summary: runtime 'protected' access checks
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: libgcj
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tromey at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu
                    dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20047

[Bug libgcj/20047] runtime 'protected' access checks

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-18 04:52 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-02-18 04:52:41
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20047

[Bug libgcj/20047] runtime 'protected' access checks

[mckinlay at redhat dot com]

------- Comment #2 from mckinlay at redhat dot com  2006-06-01 11:07 -------
This rule is mentioned in the last paragraph of JVMS, S 5.4.4:

http://java.sun.com/docs/books/vmspec/2nd-edition/html/ConstantPool.doc.html#75929

It is explicitly stated that this is checked during verification, unlike other
accessibility checks which are performed at link time.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20047