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

Compare with Current View Page History

« Previous Version 24 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

C++ checkers

Rule

 

ARR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array

ASSERT_SIDE_EFFECT

EXP31-CPP. Avoid side effects in assertions

CHECKED_RETURN

EXP12-CPP. Do not ignore values returned by functions or methods

CTOR_DTOR_LEAK

MEM33-CPP. Ensure that aborted constructors do not leak

DELETE_VOID

EXP39-CPP. Do not cast or delete pointers to incomplete classes

DIVIDE_BY_ZERO

INT33-CPP. Ensure that division and modulo operations do not result in divide-by-zero errors

EVALUATION_ORDER

EXP30-CPP. Do not depend on order of evaluation between sequence points

 

FLP31-CPP. Do not call functions expecting real values with complex values

INTEGER_OVERFLOW

ARR30-CPP. Guarantee that array and vector indices are within the valid range

INTEGER_OVERFLOW

INT30-CPP. Ensure that unsigned integer operations do not wrap

LINKAGE_CONFLICT

DCL36-CPP. Do not declare an identifier with conflicting linkage classifications

MISRA_CAST

FLP34-CPP. Ensure that floating point conversions are within range of the new type

MISRA_CAST

INT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data

MISSING_BREAK

MSC18-CPP. Finish every set of statements associated with a case label with a break statement

NEGATIVE_RETURNS

INT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data

NO_EFFECT

MSC11-CPP. Incorporate diagnostic tests using assertions

RETURN_LOCAL

DCL30-CPP. Declare objects with appropriate storage durations

REVERSE_NEGATIVE

INT31-CPP. Ensure that integer conversions do not result in lost or misinterpreted data

TAINTED_STATIC

INT32-CPP. Ensure that operations on signed integers do not result in overflow

TAINTED_STRING_WARNING

FIO30-CPP. Exclude user input from format strings

UNUSED_VALUE

MSC12-CPP. Detect and remove code that has no effect

WRAPPER_ESCAPE

STR33-CPP. Do not access invalid output of c_str() or data()

  • No labels