...
Automated detection is infeasible in the general case. It could be possible to develop a taint-like analysis that detects many interesting cases.
| Tool | Version | Checker | Description | ||||
|---|---|---|---|---|---|---|---|
| Parasoft Jtest |
|
| CERT. |
| NUM08.FPEXC | Check floating-point inputs for exceptional values |
Related Guidelines
...