SEI CERT C++ Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 24

changes.mady.by.user David Svoboda

Saved on

compared with

New Version 25

changes.mady.by.user David Svoboda

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Info
titleGenerated 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

C++ checkers

Rule

 
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_OVERFLOWFLP31INT30-CPP. Do not call functions expecting real values with complex valuesEnsure that unsigned integer operations do not wrap
INTEGER_OVERFLOWARR30-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_CONFLICTDCL36-CPP. Do not declare an identifier with conflicting linkage classifications
MISRA_CASTFLP34INT31-CPP. Ensure that floating point conversions are within range of the new typeinteger conversions do not result in lost or misinterpreted data
MISRA_CASTINT31FLP34-CPP. Ensure that integer conversions do not result in lost or misinterpreted datafloating 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()