...
| Tool | Version | Checker | Description | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CodeSonarParasoft Jtest |
| CERT.THI03.UWIL | Call 'wait()' and 'await()' only inside a loop that tests the liveness condition | |||||||||||||||||
| SonarQube |
| S2274 | MT_CORRECTNESS.WA_AWAIT_NOT_IN_LOOPCondition.await() not in loop Wait not in loop | Parasoft Jtest | ||||||||||||||||
| Include Page | Parasoft_V | Parasoft_V | TRS.UWIL | Implemented | SonarQube Java Plugin | | Include Page | | SonarQube Java Plugin_V | SonarQube Java Plugin_V | S2274 - "Object.wait(...)" and "Condition.await(...)" should be called inside a "while" loopImplemented
Bibliography
[API 2014] | |
Item 50, "Never Invoke | |
Section 14.2, "Using Condition Queues" | |
[Lea 2000] | Section 1.3.2, "Liveness" |
...