...
Tool | Version | Checker | Description | |||||||
---|---|---|---|---|---|---|---|---|---|---|
The Checker Framework |
| Lock Checker | Concurrency and lock errors (see Chapter 6) | |||||||
CodeSonar |
| 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 | 9.5
| TRS.SCS | Implemented | |||||||
SonarQube |
| S1860 | ||||||||
ThreadSafe |
| CCE_CC_REUSEDOBJ_SYNC | Implemented |
...
[API 2006] | Class String, Collections |
| |
Locking | |
Synchronization | |
...