Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

MT_CORRECTNESS.DL_SYNCHRONIZATION_ON_BOOLEAN
FB.MT_CORRECTNESS.DL_SYNCHRONIZATION_ON_BOXED_PRIMITIVE
FB.MT_CORRECTNESS.DL_SYNCHRONIZATION_ON_SHARED_CONSTANT
ToolVersionCheckerDescription
The Checker Framework

Include Page
The Checker Framework_V
The Checker Framework_V

Lock CheckerConcurrency and lock errors (see Chapter 6)
CodeSonarParasoft Jtest
Include Page
CodeSonarParasoft_VCodeSonar
Parasoft_V
FB
CERT.LCK01.SCSDo not synchronize on constant Strings
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V6070Synchronization on Boolean
Synchronization on boxed primitive
Synchronization on interned String
Parasoft Jtest
Include Page
Parasoft_VParasoft_VTRS.SCSDo not synchronize on constant Strings
SonarQube
Include Page
SonarQube_V
SonarQube_V
S1860
ThreadSafe
Include Page
ThreadSafe_V
ThreadSafe_V

CCE_CC_REUSEDOBJ_SYNC

Implemented

...