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

negativeArraySize

Context sensitive analysis
Will warn only if given size is negative

negativeArraySize

premium-cert-arr32-c

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.