...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
NUM00-J | Medium | Unlikely | Medium | P4 | L3 |
Automated Detection
Automated detection of integer operations that can potentially overflow is straightforward. Automatic determination of which potential overflows are true errors and which are intended by the programmer is infeasible. Heuristic warnings might be helpful.
...
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 |
...