SEI CERT C Coding Standard

Space shortcuts

Page tree

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 7 Next »

Generated Content

This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly.

Version number:

 2.15

Checker

Guideline

arrayIndexOutOfBoundsARR30-C. Do not form or use out-of-bounds pointers or array subscripts
arrayIndexOutOfBoundsCondARR30-C. Do not form or use out-of-bounds pointers or array subscripts
arrayIndexThenCheckARR30-C. Do not form or use out-of-bounds pointers or array subscripts
cert.pyEXP42-C. Do not compare padding data
cert.pyEXP46-C. Do not use a bitwise operator with a Boolean-like operand
ignoredReturnValueEXP12-C. Do not ignore values returned by functions
leakReturnValNotUsedMEM31-C. Free dynamically allocated memory when no longer needed
leakReturnValNotUsedEXP12-C. Do not ignore values returned by functions
memsetValueOutOfRangeINT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
negativeArraySizeARR32-C. Ensure size arguments for variable length arrays are in a valid range
negativeIndexARR30-C. Do not form or use out-of-bounds pointers or array subscripts
nullPointerEXP34-C. Do not dereference null pointers
nullPointerDefaultArgEXP34-C. Do not dereference null pointers
nullPointerRedundantCheckEXP34-C. Do not dereference null pointers
outOfBoundsARR30-C. Do not form or use out-of-bounds pointers or array subscripts
possibleBufferAccessOutOfBoundsARR30-C. Do not form or use out-of-bounds pointers or array subscripts
shiftNegativeINT34-C. Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand
shiftTooManyBitsINT34-C. Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand
uninitMemberVarEXP33-C. Do not read uninitialized memory
uninitStructMemberEXP33-C. Do not read uninitialized memory
uninitdataEXP33-C. Do not read uninitialized memory
uninitstringEXP33-C. Do not read uninitialized memory
uninitvarEXP33-C. Do not read uninitialized memory
zerodivINT33-C. Ensure that division and remainder operations do not result in divide-by-zero errors
zerodivcondINT33-C. Ensure that division and remainder operations do not result in divide-by-zero errors
  • No labels