RuleChecker

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: 22.10

Checker	Guideline
bad-function (AUTOSAR.26.5.1A)	MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers
catch-class-by-value	ERR61-CPP. Catch exceptions by lvalue reference
default-construction	MSC51-CPP. Ensure your random number generator is properly seeded
definition-duplicate	DCL60-CPP. Obey the one-definition rule
delete-with-incomplete-type	EXP57-CPP. Do not cast or delete pointers to incomplete classes
delete-without-noexcept	DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
destructor-without-noexcept	DCL57-CPP. Do not let exceptions escape from destructors or deallocation functions
early-catch-all	ERR51-CPP. Handle all exceptions
exception-caught-by-earlier-handler	ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
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
function-ellipsis	DCL50-CPP. Do not define a C-style variadic function
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
initializer-list-order	OOP53-CPP. Write constructor member initializers in the canonical order
invalid-noreturn	MSC53-CPP. Do not return from a function declared [[noreturn]]
main-function-catch-all	ERR51-CPP. Handle all exceptions
new-delete-pairwise	DCL54-CPP. Overload allocation and deallocation functions as a pair in the same scope
non-virtual-public-destructor-in-non-final-class	OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
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
potentially-throwing-static-initialization	ERR58-CPP. Handle all exceptions thrown before main() begins executing
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
sizeof	EXP52-CPP. Do not rely on side effects in unevaluated operands
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
unhandled-throw-noexcept	ERR55-CPP. Honor exception specifications
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

Space shortcuts

Page tree