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

Fix optimization-unstable code involving pointer overflow

    XMLWordPrintable

    Details

    • Subcomponent:
      gc
    • Resolved In Build:
      b04
    • CPU:
      generic
    • OS:
      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

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

                Dates

                Created:
                Updated:
                Resolved: