...
Automated detection of comparison with NaN is straightforward. Sound determination of whether the possibility of an unordered result has been correctly handled is not feasible in the general case. Heuristic checks could be useful.
| Tool | Version | Checker | Description |
|---|---|---|---|
| Parasoft Jtest | 9.5 | PB.NUM.NAN | Implemented |
Bibliography
[JLS 2015] | |
| [Seacord 2015] |
...