...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| JAVA.MATH.ABSRAND | Abs on random | ||||||
| Coverity | 7.5 | BAD_SHIFT | Implemented | ||||||
| Klocwork |
| SV.INT_OVF | |||||||
| Parasoft Jtest |
| CERT.NUM00.ICO CERT.NUM00.BSA CERT.NUM00.CACO | Avoid calculations which result in overflow or NaN Do not use an integer outside the range of [0, 31] as the amount of a shift Avoid using compound assignment operators in cases which may cause overflow | ||||||
| PVS-Studio |
| V5308, V6117, V6130, V6131 |
Related Guidelines
INT32-C. Ensure that operations on signed integers do not result in overflow | |
| ISO/IEC TR 24772:2010 | Wrap-around Error [XYY] |
CWE-682, Incorrect Calculation |
...