arrayIndexOutOfBounds:ARR30-C
arrayIndexOutOfBoundsCond:ARR30-C
arrayIndexThenCheck:ARR30-C
cert.py:EXP42-C,EXP46-C
ignoredReturnValue:EXP12-C
leakReturnValNotUsed:MEM32-C,EXP12-C
memsetValueOutOfRange:INT31-C
negativeArraySize:ARR32-C
negativeIndex:ARR30-C
nullPointer:EXP34-C
nullPointerDefaultArg:EXP34-C
nullPointerRedundantCheck:EXP34-C
outOfBounds:ARR30-C
possibleBufferAccessOutOfBounds:ARR30-C
shiftNegative:INT34-C
shiftTooManyBits:INT34-C
uninitdata:EXP33-C
uninitMemberVar:EXP33-C
uninitstring:EXP33-C
uninitStructMember:EXP33-C
uninitvar:EXP33-C
zerodiv:INT33-C
zerodivcond:INT33-C
