...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| FB.MT_CORRECTNESS.WA_AWAIT_NOT_IN_LOOP FB.MT_CORRECTNESS.WA_NOT_IN_LOOP | Condition.await() not in loop Wait not in loop | ||||||
| Parasoft Jtest | 9.5 | TRS.UWIL | Implemented | ||||||
| SonarQube Java Plugin |
| S2274 | Implemented |
Bibliography
[API 2014] | |
Item 50, "Never Invoke | |
Section 14.2, "Using Condition Queues" | |
[Lea 2000] | Section 1.3.2, "Liveness" |
...