...
If the integer exhibiting modulo behavior contributes to the value of an integer not marked as exhibiting modulo behavior, the resulting integer must obey this rule.
Priority: P6 Level: L2
Integer overflow can lead to buffer overflows and the execution of arbitrary code by an attacker.
...