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

Fix optimization-unstable code involving pointer overflow

XMLWordPrintable

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

      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/

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

              Created:
              Updated:
              Resolved: