Page History

IO.TAINT.SIZE

MISC.MEM.SIZE.BAD

Tainted Allocation Size

Unreasonable Size Argument

Coverity

STACK_USE

Can help detect single stack allocations that are dangerously large, although it will not detect excessive stack use resulting from recursion

CERT_C-MEM05-a
CERT_C-MEM05-b

Do not use recursion
Ensure the size of the variable length array is in valid range

9035, 9070

Partially supported: reports use of variable length arrays and recursion

CERT C: Rec. MEM05-C

Checks for:

• Direct or indirect function call to itself
• Variable length array with nonpositive size
• Tainted size of variable length array

Rec. partially covered.