...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| JAVA.CAST.FTRUNC | Cast: Integer to Floating Point (Java) | ||||||
| Parasoft Jtest |
| CERT.NUM13.AIC | Avoid implicit casts from integer data types to floating point data types | ||||||
| PVS-Studio |
| V6011 |
...
...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| JAVA.CAST.FTRUNC | Cast: Integer to Floating Point (Java) | ||||||
| Parasoft Jtest |
| CERT.NUM13.AIC | Avoid implicit casts from integer data types to floating point data types | ||||||
| PVS-Studio |
| V6011 |
...