...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Lock Checker | Concurrency and lock errors (see Chapter 6) | ||||||
| Parasoft Jtest |
| CERT.LCK01.SCS | Do not synchronize on constant Strings | ||||||
| PVS-Studio |
| V6070 | |||||||
| SonarQube |
| S1860 | |||||||
| ThreadSafe |
| CCE_CC_REUSEDOBJ_SYNC | Implemented |
...