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

1890
1891
1892
1893
1894
1895
2790 (C)