Tool | Version | Checker | Description |
---|
The Checker Framework | Include Page |
---|
| The Checker Framework_V |
---|
| The Checker Framework_V |
---|
|
| Lock Checker | Concurrency and lock errors (see Chapter 6) |
CodeSonarParasoft Jtest | Include Page |
---|
| CodeSonarParasoft_VCodeSonar |
---|
| Parasoft_V |
---|
|
FB | CERT. | MT_CORRECTNESS.DL_SYNCHRONIZATION_ON_BOOLEAN
FB.MT_CORRECTNESS.DL_SYNCHRONIZATION_ON_BOXED_PRIMITIVE
FB.MT_CORRECTNESS.DL_SYNCHRONIZATION_ON_SHARED_CONSTANTLCK01.SCS | Do not synchronize on constant Strings |
PVS-Studio | | V6070 | Synchronization on Boolean Synchronization on boxed primitive Synchronization on interned String | Parasoft Jtest | Include Page |
---|
Parasoft_V | Parasoft_V | TRS.SCS | Do not synchronize on constant Strings |
|
SonarQube | | S1860 |
|
ThreadSafe | | CCE_CC_REUSEDOBJ_SYNC | Implemented |