Page History

ALLOC.SIZE.ADDOFLOW
ALLOC.SIZE.IOFLOW
ALLOC.SIZE.MULOFLOW
ALLOC.SIZE.SUBUFLOW
ALLOC.SIZE.TRUNC
MISC.MEM.SIZE.ADDOFLOW
MISC.MEM.SIZE.BAD
MISC.MEM.SIZE.MULOFLOW
MISC.MEM.SIZE.SUBUFLOW
MISC.MEM.SIZE.TRUNC

Addition overflow of allocation size
Integer overflow of allocation size
Multiplication overflow of allocation size
Subtraction underflow of allocation size
Truncation of allocation size
Addition overflow of size
Unreasonable size argument
Multiplication overflow of size
Subtraction underflow of size
Truncation of size

Compass/ROSE

Can detect violations of this rule. It should look for patterns of (a op1 b) op2 c where

• • c has a bigger type than a or b
  • Neither a nor b is typecast to c's type
  • op2 is assignment or comparison

Fortify SCA

5.0

Can detect violations of this rule with CERT C Rule Pack

Integer conversion overflow

Integer overflow

Unsigned integer conversion overflow

Unsigned integer overflow

Overflow when converting between integer types

1890, 1891, 1892,
1893,1894, 1895,
4490, 4491, 4492