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

VerifyError thrown for malformed exception_table (start_pc >= end_pc)

    Details

    • Subcomponent:
    • Resolved In Build:
      tiger
    • CPU:
      generic
    • OS:
      generic
    • Verification:
      Verified

      Description

      Name: vrC94537 Date: 11/01/99



      If the value of 'start_pc' item of exception_table of Code attribute
      is greater or equal to the value of 'end_pc' item, then the attribute
      is invalid and the class file is malformed and therefore must be rejected
      by VM class format checker with exception ClassFormatError.
      However, JVM (all jdk version till 1.3.0L) throws VerifyError instead
      of ClassFormatError.

      The section "4.7.3 The Code Attribute" of 2nd JVM spec says about
      exception_table items 'start_pc' and 'end_pc':
      "The value of start_pc must be less than the value of end_pc."

      The following new jck1.3-RC1 test
      vm/classfmt/atr/atrcod008/atrcod00802m1/atrcod00802m1.html
      is failed due to this bug.

      ======================================================================

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                wtaosunw Wei Tao (Inactive)
                Reporter:
                duke J. Duke (Inactive)
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved:
                  Imported:
                  Indexed: