...
| 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 |
| TRS.SCS | Implemented | ||||||
| SonarQube |
| S1860 | |||||||
| ThreadSafe |
| CCE_CC_REUSEDOBJ_SYNC | Implemented |
...
[API 2006] | Class String, Collections |
| |
Locking | |
Synchronization | |
...