...
| Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Lock Checker | Concurrency and lock errors (see Chapter 6) | ||||||||||||
| CodeSonar | |||||||||||||||
| Include Page | CodeSonar_V | CodeSonar_V | FB.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 |
| TRS.SCS | Do not synchronize on constant Strings | |||||||
| SonarQube |
| S1860 | |||||||||||||
| ThreadSafe |
| CCE_CC_REUSEDOBJ_SYNC | Implemented |
...