SEI CERT C++ Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 1

changes.mady.by.user Joerg Herter

Saved on

compared with

New Version 2

changes.mady.by.user Matthew Churilla

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Note

This page 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
cplusplus:Astrée_V
cplusplus:Astrée_V

Checker

Guideline

bad-function (AUTOSAR.26.5.1A) MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers
dangling-pointer-use EXP54-CPP. Do not access an object outside of its lifetime
dangling_pointer_use MEM50-CPP. Do not access freed memory
definition-duplicate DCL60-CPP. Obey the one-definition rule
delete-with-incomplete-type EXP57-CPP. Do not cast or delete pointers to incomplete classes
early-catch-all ERR51-CPP. Handle all exceptions
exception-handler-member-access ERR53-CPP. Do not reference base classes or class data members in a constructor or destructor function-try-block handler
external-file-spreading DCL60-CPP. Obey the one-definition rule
include-setjmp ERR52-CPP. Do not use setjmp() or longjmp()
include-time OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
invalid-noreturn MSC53-CPP. Do not return from a function declared [[noreturn]]
main-function-catch-all ERR51-CPP. Handle all exceptions
overflow_upon_dereference CTR50-CPP. Guarantee that container indices and iterators are within the valid range
overflow_upon_dereference CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a container
pointer-qualifier-cast-const EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type
pointer-qualifier-cast-volatile EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type
reserved-identifier DCL51-CPP. Do not declare or define a reserved identifier
return-implicit MSC52-CPP. Value-returning functions must return a value from all exit paths
return-reference-local EXP54-CPP. Do not access an object outside of its lifetime
stdlib-use ERR50-CPP. Do not abruptly terminate the program
stdlib-use OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
stdlib-use-ato OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
stdlib-use-getenv OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
stdlib-use-string-unbounded OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
stdlib-use-system OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
type-compatibility DCL60-CPP. Obey the one-definition rule
type-file-spreading DCL60-CPP. Obey the one-definition rule
undefined-extern DCL60-CPP. Obey the one-definition rule
undefined-extern-pure-virtual DCL60-CPP. Obey the one-definition rule
uninitialized-read EXP53-CPP. Do not read uninitialized memory
unnamed-namespace-header DCL59-CPP. Do not define an unnamed namespace in a header file
virtual-call-in-constructor OOP50-CPP. Do not invoke virtual functions from constructors or destructors
volatile DCL52-CPP. Never qualify a reference type with const or volatile