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

Fix optimization-unstable code involving pointer overflow

    XMLWordPrintable

Details

    • Bug
    • Resolution: Fixed
    • P5
    • 17
    • 17
    • hotspot
    • gc
    • b04
    • generic
    • generic

    Description

      Optimization-unstable code (unstable code for short) is an emerging class of software bugs: code that is unexpectedly eliminated by compiler optimizations due to undefined behavior in the program.

       

      We applied a static checker STACK [1] to OpenJDK and found a number of such unstable code.

       

      [1] https://css.csail.mit.edu/stack/

      Attachments

        Issue Links

          Activity

            People

              eliu Eric Liu
              eliu Eric Liu
              Votes:
              0 Vote for this issue
              Watchers:
              4 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: