Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-6930576

classfile format checker allows invalid descriptor in CONSTANT_NameAndType_info [invokedynamic]

    XMLWordPrintable

    Details

    • Subcomponent:
    • CPU:
      generic
    • OS:
      generic

      Description

      JVMS section 4.4.6 states as follows:
        ---Excerpt-from-spec---
        CONSTANT_NameAndType_info {
          u1 tag;
          u2 name_index;
          u2 descriptor_index;
        }
        ...

        The items of the CONSTANT_NameAndType_info structure are as follows:
        ...
        descriptor_index

        The value of the descriptor_index item must be a valid index into the
        constant_pool table. The constant_pool entry at that index must be a
        CONSTANT_Utf8_info (4.4.7) structure representing a *valid* field descriptor
        (4.3.2) or method descriptor (4.3.3).
        ---End-of-excerpt---

      However, JVM class format checker does not reject classes with invalid
      (according to JVMS Section 4.3.3) method descriptors at the descriptor_index
      in the CONSTANT_NameAndType_info structure (like "()V;", "(.)V", "(;)V",
      "()V#" or similar) when there is a reference to this NameAndType from
      the 'invokedynamic' bytecode instruction.

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              kamg Keith Mcguigan
              Reporter:
              ygaevsky Yuri Gaevsky
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

                Dates

                Created:
                Updated:
                Resolved:
                Imported:
                Indexed: