...
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 Jtest9.5 |
| TRS.ILI | Make lazy initializations thread-safe |
...
Page History
Overview
Content Tools