...
Rule | Severity | Likelihood | Detectable | Repairable | Priority | Level |
|---|---|---|---|---|---|---|
NUM09-J | Low | Probable | Yes | No | P4 | L3 |
Automated Detection
Automated detection of floating-point loop counters is straightforward.
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Klocwork |
| JAVA.LOOP.CTR.FLOAT | |||||||
| Parasoft Jtest |
| CERT.NUM09.FPLI | Do not use floating point variables as loop indices | ||||||
| PVS-Studio |
| V6108 | |||||||
| Security Reviewer - Static Reviewer |
| StringComparisonFloat | Full Implementation |
Related Guidelines
FLP30-C. Do not use floating-point variables as loop counters | |
| ISO/IEC TR 24772:2010 | Floating-point Arithmetic [PLF] |
...