...
INT10-A. Do not assume a positive remainder when using the % operator
INT12-A. Do not make assumptions about the type of a plain int bit-field when used in an expression
...
INT14-A. Avoid performing bitwise and arithmetic operations on the same dataINT11-A. Take care when converting from pointer to integer or integer to pointer
Rules
INT30-C. Ensure that unsigned integer operations do not wrap
...