SEI CERT C++ Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 32

changes.mady.by.user Will Snavely

Saved on

compared with

New Version 33

changes.mady.by.user Will Snavely

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.

...

was automatically generated and should not be edited.

The information on this page was provided by outside contributors and has not been verified by SEI CERT.

Include Page
cplusplus:

...

Coverity_V
cplusplus:Coverity_V
ASSERT_SIDE_EFFECT

Checker

Guideline

FLP05-CPP. Convert integers to floating point for floating point operationsINT18-CPP. Evaluate integer expressions in a larger size before comparing or assigning to that size

MSC11-CPP. Incorporate diagnostic tests using assertions
BAD_COMPAREMSC02-CPP. Avoid errors of omission
CHECKED_RETURN MEM52-CPP. Detect and handle memory allocation errors
CHECKED_RETURNEXP12-CPP. Do not ignore values returned by functions or methods
CHECKED_RETURNFIO04-CPP. Detect and handle input and output errors
DEADCODEMSC07-CPP. Detect and remove dead code
DEADLOCK CON53-CPP. Avoid deadlock by locking in a predefined order
DELETE_VOID EXP57-CPP. Do not cast or delete pointers to incomplete classes
EVALUATION_ORDER EXP50-CPP. Do not depend on the order of evaluation for side effects
ImplementedCTR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array
MISSING_BREAKMSC18-CPP. Finish every set of statements associated with a case label with a break statement
NO_EFFECTMSC11-CPP. Incorporate diagnostic tests using assertions
RACE_CONDITION CON52-CPP. Prevent data races when accessing bit-fields from multiple threads UNREACHABLEMSC07-CPP. Detect and remove dead code
UNUSED_VALUEMSC12-CPP. Detect and remove code that has no effect
UNUSED_VALUEMSC13-CPP. Detect and remove unused values
USE_AFTER_FREE MEM50-CPP. Do not access freed memory
USE_AFTER_FREEMEM01-CPP. Store a valid value in pointers immediately after deallocation
USE_AFTER_FREEMEM11-CPP. Allocate and free memory in the same module, at the same level of abstraction

...