Page History

LANG.MEM.BO
LANG.MEM.BU
BADFUNC.BO.*

Buffer overrun
Buffer underrun
A collection of warning classes that report uses of library functions prone to internal buffer overflows

Compass/ROSE

BUFFER_SIZE

BAD_SIZEOF

BAD_ALLOC_STRLEN

BAD_ALLOC_ARITHMETIC

Fortify SCA

5.0

Can detect violations of this rule with CERT C Rule Pack

Klocwork

ABV.ANY_SIZE_ARRAY
ABV.GENERAL
ABV.ITERATOR
ABV.STACK
ABV.TAINTED
ABV.UNKNOWN_SIZE

Array access out of bounds

, Buffer overflow from incorrect string format specifier,

Destination buffer overflow in string manipulation

, Destination buffer underflow in string manipulation

, Invalid use of standard library memory routine

Invalid use of standard library string routine,

Mismatch between data length and size,

Pointer access out of bounds

Possible misuse of sizeof

, Use of tainted pointer

Array index outside bounds during array access

String format specifier causes buffer argument of standard library functions to overflow

Function writes to buffer at offset greater than buffer size

Function writes to buffer at a negative offset from beginning of buffer

Standard library memory function called with invalid arguments

Standard library string function called with invalid arguments

Data size argument is not computed from actual data length

Pointer dereference outside its bounds

Use of sizeof operator can cause unintended results

Pointer from an unsecure source may be NULL or point to unknown memory

2845, 2846, 2847, 2848, 2849, 2930, 2932, 2933, 2934

2840, 2841, 2842, 2843, 2844

Splint