Versions Compared

Key

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

...

ToolVersionCheckerDescription
The Checker Framework

Include Page
The Checker Framework_V
The Checker Framework_V

Lock CheckerConcurrency and lock errors (see Chapter 6)
CodeSonar
Include Page
CodeSonar_VCodeSonar_VFB.MT_CORRECTNESS.DL_SYNCHRONIZATION_ON_BOOLEAN
FB.MT_CORRECTNESS.DL_SYNCHRONIZATION_ON_BOXED_PRIMITIVE
FB.MT_CORRECTNESS.DL_SYNCHRONIZATION_ON_SHARED_CONSTANT
Synchronization on Boolean
Synchronization on boxed primitive
Synchronization on interned String
Parasoft Jtest
Include Page
Parasoft_V
Parasoft_V
TRS.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

...