Page History

ALLOC.SIZE.IOFLOW
ALLOC.SIZE.MULOFLOW
MISC.MEM.SIZE.BAD

Integer Overflow of Allocation Size
Multiplication Overflow of Allocation Size
Unreasonable Size Argument

MISRA.ARRAY.VAR_LENGTH.2012

CERT_C-ARR32-a

Ensure the size of the variable length array is in valid range

9035

Assistance provided

CERT C: Rule ARR32-C

Checks for:

• Memory allocation with tainted size
• Tainted size of variable length array

Rule fully covered.

Context sensitive analysis
Will warn only if given size is negative