SEI CERT Oracle Coding Standard for Java

Space shortcuts

Page tree

Versions Compared

Old Version 210

changes.mady.by.user Jill Britton

Saved on

compared with

New Version Current

changes.mady.by.user David Svoboda

Saved on

Key

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

...

Failing to ensure the visibility of a shared primitive variable may result in a thread observing a stale value of the variable.

Rule

Severity

Likelihood

Detectable

RepairableRemediation Cost

Priority

Level

VNA00-J

Medium

Probable

Yes

MediumNo

P8

L2

Automated Detection

Some static analysis tools are capable of detecting violations of this rule.

ToolVersionCheckerDescription
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

JAVA.CONCURRENCY.LOCK.ICS
JAVA.CONCURRENCY.SYNC.MSS
JAVA.CONCURRENCY.LOCK.STATIC
JAVA.CONCURRENCY.UG.FIELD
JAVA.CONCURRENCY.UG.PARAM
JAVA.CONCURRENCY.VOLATILE

Impossible Client Side Locking client side locking (Java)
Missing synchronized Statement statement (Java)
Synchronization on static (Java)
Unguarded Field field (Java)
Unguarded Parameter parameter (Java)
Useless volatile Modifier modifier (Java)

Eclipse4.2.0
Not Implemented
FindBugs2.0.1
Not Implemented
Klocwork

Include Page
Klocwork_V
Klocwork_V

SV.SHARED.VAR
Parasoft Jtest
Include Page
Parasoft_V
Parasoft_V
CERT.VNA00.LORD
CERT.VNA00.MRAV		Ensure that nested locks are ordered correctly
Access related Atomic variables in a synchronized block
PMD5.0.0
Not Implemented
Fortify

Not Implemented
Coverity7.5SERVLET_ATOMICITYImplemented
ThreadSafe
Include Page
ThreadSafe_V
ThreadSafe_V

CCE_SL_INCONSISTENT
CCE_CC_CALLBACK_ACCESS
CCE_SL_MIXED
CCE_SL_INCONSISTENT_COL
CCE_SL_MIXED_COL
CCE_CC_UNSAFE_CONTENT
CCE_FF_VOLATILE

Implemented

...