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

Compare with Current View Page History

« Previous Version 25 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:
v7.5.0

Checker

Guideline

FLP31-CPP. Do not call functions expecting real values with complex values
ARR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array
ASSERT_SIDE_EFFECTEXP31-CPP. Avoid side effects in assertions
CHECKED_RETURNEXP12-CPP. Do not ignore values returned by functions or methods
CTOR_DTOR_LEAKMEM33-CPP. Ensure that aborted constructors do not leak
DELETE_VOIDEXP39-CPP. Do not cast or delete pointers to incomplete classes
DIVIDE_BY_ZEROINT33-CPP. Ensure that division and modulo operations do not result in divide-by-zero errors
EVALUATION_ORDEREXP30-CPP. Do not depend on order of evaluation between sequence points
INTEGER_OVERFLOWINT30-CPP. Ensure that unsigned integer operations do not wrap
INTEGER_OVERFLOWARR30-CPP. Guarantee that array and vector indices are within the valid range
LINKAGE_CONFLICTDCL36-CPP. Do not declare an identifier with conflicting linkage classifications
MISRA_CASTINT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data
MISRA_CASTFLP34-CPP. Ensure that floating point conversions are within range of the new type
MISSING_BREAKMSC18-CPP. Finish every set of statements associated with a case label with a break statement
NEGATIVE_RETURNSINT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data
NO_EFFECTMSC11-CPP. Incorporate diagnostic tests using assertions
RETURN_LOCALDCL30-CPP. Declare objects with appropriate storage durations
REVERSE_NEGATIVEINT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data
TAINTED_STATICINT32-CPP. Ensure that operations on signed integers do not result in overflow
TAINTED_STRING_WARNINGFIO30-CPP. Exclude user input from format strings
UNUSED_VALUEMSC12-CPP. Detect and remove code that has no effect
WRAPPER_ESCAPESTR33-CPP. Do not access invalid output of c_str() or data()
  • No labels