United StatesChange Country, Oracle Worldwide Web Sites Communities I am a... I want to...
Bug ID: JDK-8007402 Code cleanup to remove Parfait false positive
JDK-8007402 : Code cleanup to remove Parfait false positive

Details
Type:
Enhancement
Submit Date:
2013-02-01
Status:
Resolved
Updated Date:
2014-01-16
Project Name:
JDK
Resolved Date:
2013-02-10
Component:
hotspot
OS:
generic
Sub-Component:
compiler
CPU:
generic
Priority:
P5
Resolution:
Fixed
Affected Versions:
Fixed Versions:
hs25 (b19)

Related Reports
Backport:
Backport:
Backport:
Backport:

Sub Tasks

Description
Parfait claims a possible buffer overflow in hotspot/src/share/vm/opto/regmask.cpp, is_bound_pair, however this is not currently possible (see https://jbs.oracle.com/bugs/browse/JDK-8004498 for details).  The code should be modified to make Parfait happy, so that the false positive does not confuse future fault detection, and to eliminate that possibility that a code change elsewhere might convert this to a true positive.

Recommended fix: cut the loop iteration count by one, replicate the loop body for the last iteration with the off-end accesses removed.
                                    

Comments
Please, change both methods, is_bound_pair() and is_bound_set(), which have this problem.
                                     
2013-02-01
URL:   http://hg.openjdk.java.net/hsx/hotspot-comp/hotspot/rev/2c673161698a
User:  kvn
Date:  2013-02-10 03:19:32 +0000

                                     
2013-02-10
URL:   http://hg.openjdk.java.net/hsx/hsx25/hotspot/rev/2c673161698a
User:  amurillo
Date:  2013-02-15 23:33:19 +0000

                                     
2013-02-15



Hardware and Software, Engineered to Work Together