...
Rule | Severity | Likelihood | Detectable | Repairable | Priority | Level |
|---|---|---|---|---|---|---|
MSC07-J | Low | Unlikely | Yes | No | P2 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Linear Checker | Control aliasing and prevent re-use (see Chapter 19) | ||||||
| Coverity | 7.5 | SINGLETON_RACE | Implemented | ||||||
| Parasoft Jtest |
| CERT.MSC07.ILI | Make lazy initializations thread-safe | ||||||
| Security Reviewer - Static Reviewer |
| InstantiatedLoop | Full Implementation |
Related Guidelines
...