 
                            ...
Integer wrap can lead to buffer overflows and the execution of arbitrary code by an attacker. Note that this rule is not automatically repairable in contrast to INT32-C. Ensure that operations on signed integers do not result in overflow. This is because integer wrapping is occasionally intended (see INT30-C-EX1), and repairing such wrapping would turn correct code into code that spuriously signals wraparound errors.
| Rule | Severity | Likelihood | Detectable | Repairable | Priority | Level | 
|---|---|---|---|---|---|---|
| INT30-C | High | Likely | No | No | P9 | L2 | 
...