Bug 549601 (CVE-2019-11775) - Loop Versioner
Summary: Loop Versioner
Status: RESOLVED FIXED
Alias: CVE-2019-11775
Product: openj9
Classification: Technology
Component: General (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows 7
: P3 normal
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL: https://cve.mitre.org/cgi-bin/cvename...
Whiteboard:
Keywords: security
Depends on:
Blocks:
 
Reported: 2019-07-27 10:42 EDT by Peter Shipton CLA
Modified: 2019-07-30 10:52 EDT (History)
3 users (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Peter Shipton CLA 2019-07-27 10:42:18 EDT
project: Eclipse OpenJ9
versions: initial - 0.14

cwe: CWE-367
http://cwe.mitre.org/data/definitions/367.html
The software checks the state of a resource before using that resource, but the resource's state can change between the check and the use in a way that invalidates the results of the check. This can cause the software to perform invalid actions when the resource is in an unexpected state.

summary:
All builds of Eclipse OpenJ9 prior to 0.15 contain a bug where the loop versioner may fail to privatize a value that is pulled out of the loop by versioning - for example if there is a condition that is moved out of the loop that reads a field we may not privatize the value of that field in the modified copy of the loop allowing the test to see one value of the field and subsequently the loop to see a modified field value without retesting the condition moved out of the loop. This can lead to a variety of different issues but read out of array bounds is one major consequence of these problems

The problem was fixed in Eclipse OMR https://bugs.eclipse.org/bugs/show_bug.cgi?id=549192
Comment 1 Wayne Beaton CLA 2019-07-29 15:11:06 EDT
Submitted.

Pull request: https://github.com/CVEProject/cvelist/pull/2325