...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Lock Checker | Concurrency and lock errors (see Chapter 6) | ||||||
| CodeSonar | 4.2 | 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 Java Plugin |
| S1860 | Implemented | ||||||
| ThreadSafe |
| CCE_CC_REUSEDOBJ_SYNC | Implemented |
...