SEI CERT C++ Coding Standard

Space shortcuts

Page tree

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

Compare with Current View Page History

« Previous Version 13 Next »

This page 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.

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

Tool Version: R2024a

Checker

Guideline

CERT C++: CON50-CPP CON50-CPP. Do not destroy a mutex while it is locked
CERT C++: CON52-CPP CON52-CPP. Prevent data races when accessing bit-fields from multiple threads
CERT C++: CON53-CPP CON53-CPP. Avoid deadlock by locking in a predefined order
CERT C++: CON54-CPP CON54-CPP. Wrap functions that can spuriously wake up in a loop
CERT C++: CTR50-CPP CTR50-CPP. Guarantee that container indices and iterators are within the valid range
CERT C++: DCL50-CPP DCL50-CPP. Do not define a C-style variadic function
CERT C++: DCL51-CPP DCL51-CPP. Do not declare or define a reserved identifier
CERT C++: DCL52-CPP DCL52-CPP. Never qualify a reference type with const or volatile
CERT C++: DCL53-CPP DCL53-CPP. Do not write syntactically ambiguous declarations
CERT C++: DCL54-CPP DCL54-CPP. Overload allocation and deallocation functions as a pair in the same scope
CERT C++: DCL57-CPP DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
CERT C++: DCL58-CPP DCL58-CPP. Do not modify the standard namespaces
CERT C++: DCL59-CPP DCL59-CPP. Do not define an unnamed namespace in a header file
CERT C++: DCL60-CPP DCL60-CPP. Obey the one-definition rule
CERT C++: ERR50-CPP ERR50-CPP. Do not abruptly terminate the program
CERT C++: ERR51-CPP ERR51-CPP. Handle all exceptions
CERT C++: ERR52-CPP ERR52-CPP. Do not use setjmp() or longjmp()
CERT C++: ERR53-CPP ERR53-CPP. Do not reference base classes or class data members in a constructor or destructor function-try-block handler
CERT C++: ERR54-CPP ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
CERT C++: ERR55-CPP ERR55-CPP. Honor exception specifications
CERT C++: ERR58-CPP ERR58-CPP. Handle all exceptions thrown before main() begins executing
CERT C++: ERR61-CPP ERR61-CPP. Catch exceptions by lvalue reference
CERT C++: EXP50-CPP EXP50-CPP. Do not depend on the order of evaluation for side effects
CERT C++: EXP52-CPP EXP52-CPP. Do not rely on side effects in unevaluated operands
CERT C++: EXP53-CPP EXP53-CPP. Do not read uninitialized memory
CERT C++: EXP54-CPP EXP54-CPP. Do not access an object outside of its lifetime
CERT C++: EXP55-CPP EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type
CERT C++: EXP57-CPP EXP57-CPP. Do not cast or delete pointers to incomplete classes
CERT C++: EXP58-CPP EXP58-CPP. Pass an object of the correct type to va_start
CERT C++: EXP59-CPP EXP59-CPP. Use offsetof() on valid types and members
CERT C++: EXP61-CPP EXP61-CPP. A lambda object must not outlive any of its reference captured objects
CERT C++: EXP63-CPP EXP63-CPP. Do not rely on the value of a moved-from object
CERT C++: FIO50-CPP FIO50-CPP. Do not alternately input and output from a file stream without an intervening positioning call
CERT C++: FIO51-CPP FIO51-CPP. Close files when they are no longer needed
CERT C++: MEM50-CPP MEM50-CPP. Do not access freed memory
CERT C++: MEM51-CPP MEM51-CPP. Properly deallocate dynamically allocated resources
CERT C++: MEM52-CPP MEM52-CPP. Detect and handle memory allocation errors
CERT C++: MEM54-CPP MEM54-CPP. Provide placement new with properly aligned pointers to sufficient storage capacity
CERT C++: MEM55-CPP MEM55-CPP. Honor replacement dynamic storage management requirements
CERT C++: MEM56-CPP MEM56-CPP. Do not store an already-owned pointer value in an unrelated smart pointer
CERT C++: MEM57-CPP MEM57-CPP. Avoid using default operator new for over-aligned types
CERT C++: MSC50-CPP MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers
CERT C++: MSC51-CPP MSC51-CPP. Ensure your random number generator is properly seeded
CERT C++: MSC52-CPP MSC52-CPP. Value-returning functions must return a value from all exit paths
CERT C++: MSC53-CPP MSC53-CPP. Do not return from a function declared [[noreturn]]
CERT C++: OOP50-CPP OOP50-CPP. Do not invoke virtual functions from constructors or destructors
CERT C++: OOP51-CPP OOP51-CPP. Do not slice derived objects
CERT C++: OOP52-CPP OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
CERT C++: OOP53-CPP OOP53-CPP. Write constructor member initializers in the canonical order
CERT C++: OOP54-CPP OOP54-CPP. Gracefully handle self-copy assignment
CERT C++: OOP57-CPP OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
CERT C++: OOP58-CPP OOP58-CPP. Copy operations must not mutate the source object
CERT C++: STR50-CPP STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator
CERT C++: STR53-CPP STR53-CPP. Range check element access
  • No labels