Verification for resource area allocated data structures in C2

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Fixed
    • Priority: P2
    • 24
    • Affects Version/s: 11, 17, 21, 23, 24
    • Component/s: hotspot
    • b09

      Similar to GrowableArrayNestingCheck, we should implement a check for C2's resource allocated data structures that verifies that re-allocation happens under the same ResourceMark as the original. Otherwise, use-after-free bugs like JDK-8336095 will lead to memory corruption. Prototype attached.

        1. 8336999.patch
          3 kB

            Assignee:
            Tobias Hartmann
            Reporter:
            Tobias Hartmann
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: