Astrée

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

Space shortcuts

Page tree