SEI CERT Oracle Coding Standard for Java

Space shortcuts

Page tree

Versions Compared

Old Version 206

changes.mady.by.user Michal Rozenau

Saved on

compared with

New Version 211

changes.mady.by.user Amy Gale

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Localize CodeSonar crossreferences to Java scope

...

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

VNA00-J

Medium

Probable

Medium

P8

L2

Automated Detection

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

TRSTRS
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 (Java)
Missing synchronized statement (Java)
Synchronization on static (Java)
Unguarded field (Java)
Unguarded parameter (Java)
Useless volatile 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.MRAVEnsure 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

Related Guidelines

...