Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: REM cost reform

...

Using incorrect forms of the double-checked locking idiom can lead to synchronization problems and can expose partially initialized objects.

Rule

Severity

Likelihood

Detectable

RepairableRemediation Cost

Priority

Level

LCK10-J

Low

Probable

Yes

NoMedium

P4

L3

Automated Detection

Tool
Version
Checker
Description
CodeSonar

Include Page
CodeSonar_V
CodeSonar_V

JAVA.CONCURRENCY.LOCK.DCLDouble-Checked Locking (Java)
Coverity7.5

DOUBLE_CHECK_LOCK
FB.DC_DOUBLECHECK

Implemented
Klocwork

Include Page
Klocwork_V
Klocwork_V

JD.SYNC.DCL
Parasoft Jtest
Include Page
Parasoft_V
Parasoft_V
CERT.LCK10.DCLAvoid unsafe implementations of the "double-checked locking" pattern
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V5304, V6082
SonarQube
Include Page
SonarQube_V
SonarQube_V
S2168

...