SEI CERT C++ Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 31

changes.mady.by.user Will Snavely

Saved on

compared with

New Version Current

changes.mady.by.user David Svoboda

Saved on

Key

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

Note

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

Tip

The table below can be re-ordered, by clicking column headers.

...

Include Page
Coverity_V
Coverity_V
MSC02-CPP. Avoid errors of omission

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
ASSERT_SIDE_EFFECTMSC11-CPP. Incorporate diagnostic tests using assertions
BAD_COMPARE

CHECKED_RETURN MEM52-CPP. Detect and handle memory allocation errors
CHECKED_RETURN DEADLOCK EXP12 CON53-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
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
Implemented RACE_CONDITION CTR01 CON52-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
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
Prevent data races when accessing bit-fields from multiple threads
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

...