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

Fix optimization-unstable code involving signed integer overflow

    XMLWordPrintable

    Details

    • Subcomponent:
    • Resolved In Build:
      b04
    • CPU:
      generic
    • OS:
      generic

      Backports

        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:
                5 Start watching this issue

                  Dates

                  Created:
                  Updated:
                  Resolved: