Page History

Generated Content

Info
title
Note
This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly.

Version number:
6.5

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

	PRQA QA-C++_V
	PRQA QA-C++_V

Guideline

Checker	Guideline
0014	DCL52-CPP. Never qualify a reference type with const or volatile
1510	MSC52-CPP. Value-returning functions must return a value from all exit paths
1772	CON53-CPP. Avoid deadlock by locking in a predefined order
1773	CON53-CPP. Avoid deadlock by locking in a predefined order
1774	CON52-CPP. Prevent data races when accessing bit-fields from multiple threads
1775	CON52-CPP. Prevent data races when accessing bit-fields from multiple threads
2012	DCL50-CPP. Do not define a C-style variadic function
2110	MEM51-CPP. Properly deallocate dynamically allocated resources
2111	MEM51-CPP. Properly deallocate dynamically allocated resources
2112	MEM51-CPP. Properly deallocate dynamically allocated resources
2113	MEM51-CPP. Properly deallocate dynamically allocated resources
2118	MEM51-CPP. Properly deallocate dynamically allocated resources
2160	DCL54-CPP. Overload allocation and deallocation functions as a pair in the same scope
2502	DCL53-CPP. Do not write syntactically ambiguous declarations
2510	DCL53-CPP. Do not write syntactically ambiguous declarations
2518	DCL59-CPP. Do not define an unnamed namespace in a header file
2625	DCL50-CPP. Do not define a C-style variadic function
2668	CTR54-CPP. Do not subtract iterators that do not refer to the same container
2726	EXP53-CPP. Do not read uninitialized memory
2727	EXP53-CPP. Do not read uninitialized memory
2728	EXP53-CPP. Do not read uninitialized memory
2761	CTR54-CPP. Do not subtract iterators that do not refer to the same container
2762	CTR54-CPP. Do not subtract iterators that do not refer to the same container
2763	CTR54-CPP. Do not subtract iterators that do not refer to the same container
2766	CTR54-CPP. Do not subtract iterators that do not refer to the same container
2767	CTR54-CPP. Do not subtract iterators that do not refer to the same container
2768	CTR54-CPP. Do not subtract iterators that do not refer to the same container
2810	OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members
2811	OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members
2812	EXP54-CPP. Do not access an object outside of its lifetime
2812	OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members
2813	EXP54-CPP. Do not access an object outside of its lifetime
2813	OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members
2814	EXP54-CPP. Do not access an object outside of its lifetime
2814	OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members
2888	MSC54-CPP. A signal handler must be a plain old function
2891	CTR50-CPP. Guarantee that container indices and iterators are within the valid range
2930	EXP54-CPP. Do not access an object outside of its lifetime
2931	EXP54-CPP. Do not access an object outside of its lifetime
2932	EXP54-CPP. Do not access an object outside of its lifetime
2933	EXP54-CPP. Do not access an object outside of its lifetime
2934	EXP54-CPP. Do not access an object outside of its lifetime
2961	EXP53-CPP. Do not read uninitialized memory
2962	EXP53-CPP. Do not read uninitialized memory
2963	EXP53-CPP. Do not read uninitialized memory
2966	EXP53-CPP. Do not read uninitialized memory
2967	EXP53-CPP. Do not read uninitialized memory
2968	EXP53-CPP. Do not read uninitialized memory
2971	EXP53-CPP. Do not read uninitialized memory
2972	EXP53-CPP. Do not read uninitialized memory
2973	EXP53-CPP. Do not read uninitialized memory
2976	EXP53-CPP. Do not read uninitialized memory
2977	EXP53-CPP. Do not read uninitialized memory
2978	EXP53-CPP. Do not read uninitialized memory
3013	INT50-CPP. Do not cast to an out-of-range enumeration value
3033. 3038	EXP56-CPP. Do not call a function with a mismatched language linkage
3066	EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type
3072	OOP51-CPP. Do not slice derived objects
3073	CTR56-CPP. Do not use pointer arithmetic on polymorphic objects
3139	CTR50-CPP. Guarantee that container indices and iterators are within the valid range
3140	CTR50-CPP. Guarantee that container indices and iterators are within the valid range
3220	EXP50-CPP. Do not depend on the order of evaluation for side effects
3221	EXP50-CPP. Do not depend on the order of evaluation for side effects
3222	EXP50-CPP. Do not depend on the order of evaluation for side effects
3223	EXP50-CPP. Do not depend on the order of evaluation for side effects
3225	CTR58-CPP. Predicate function objects should not be mutable
3225	MEM52-CPP. Detect and handle memory allocation errors
3226	CTR58-CPP. Predicate function objects should not be mutable
3226	MEM52-CPP. Detect and handle memory allocation errors
3227	CTR58-CPP. Predicate function objects should not be mutable
3227	MEM52-CPP. Detect and handle memory allocation errors
3228	EXP50-CPP. Do not depend on the order of evaluation for side effects
3228	CTR58-CPP. Predicate function objects should not be mutable
3228	MEM52-CPP. Detect and handle memory allocation errors
3229	CTR58-CPP. Predicate function objects should not be mutable
3229	MEM52-CPP. Detect and handle memory allocation errors
3230	CTR58-CPP. Predicate function objects should not be mutable
3231	CTR58-CPP. Predicate function objects should not be mutable
3232	CTR58-CPP. Predicate function objects should not be mutable
3233	CTR58-CPP. Predicate function objects should not be mutable
3234	CTR58-CPP. Predicate function objects should not be mutable
3240	EXP52-CPP. Do not rely on side effects in unevaluated operands
3241	EXP52-CPP. Do not rely on side effects in unevaluated operands
3337	MEM51-CPP. Properly deallocate dynamically allocated resources
3339	MEM51-CPP. Properly deallocate dynamically allocated resources
3402	OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
3403	OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
3404	OOP52-CPP. Do not delete a polymorphic object without a virtual destructor
3508	ERR60-CPP. Exception objects must be nothrow copy constructible
3510	ERR53-CPP. Do not reference base classes or class data members in a constructor or destructor function-try-block handler
3802	CTR53-CPP. Use valid iterator ranges
4003	EXP54-CPP. Do not access an object outside of its lifetime
4026	EXP54-CPP. Do not access an object outside of its lifetime
4030	ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
4031	ERR61-CPP. Catch exceptions by lvalue reference
4032	DCL58-CPP. Do not modify the standard namespaces
4035	DCL58-CPP. Do not modify the standard namespaces
4035	ERR51-CPP. Handle all exceptions
4035	ERR55-CPP. Honor exception specifications
4036	ERR51-CPP. Handle all exceptions
4036	ERR55-CPP. Honor exception specifications
4037	ERR51-CPP. Handle all exceptions
4053	OOP53-CPP. Write constructor member initializers in the canonical order
4072	OOP54-CPP. Gracefully handle self-copy assignment
4073	OOP54-CPP. Gracefully handle self-copy assignment
4075	ERR56-CPP. Guarantee exception safety
4075	OOP54-CPP. Gracefully handle self-copy assignment
4075	OOP58-CPP. Copy operations must not mutate the source object
4076	ERR56-CPP. Guarantee exception safety
4076	OOP54-CPP. Gracefully handle self-copy assignment
4260	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4261	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4262	MEM51-CPP. Properly deallocate dynamically allocated resources
4263	MEM51-CPP. Properly deallocate dynamically allocated resources
4264	MEM51-CPP. Properly deallocate dynamically allocated resources
4273	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4274	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4275	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4276	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4277	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4278	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4279	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4280	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4281	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4282	OOP50-CPP. Do not invoke virtual functions from constructors or destructors
4303	MEM50-CPP. Do not access freed memory
4304	MEM50-CPP. Do not access freed memory
4631	DCL58-CPP. Do not modify the standard namespaces
4632	MEM52-CPP. Detect and handle memory allocation errors
4632	ERR55-CPP. Honor exception specifications
4634	ERR58-CPP. Handle all exceptions thrown before main() begins executing
4636	ERR58-CPP. Handle all exceptions thrown before main() begins executing
4637	ERR58-CPP. Handle all exceptions thrown before main() begins executing
4639	ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived
4639	ERR58-CPP. Handle all exceptions thrown before main() begins executing
4671	EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type
4961	CON50-CPP. Do not destroy a mutex while it is locked
4962	CON50-CPP. Do not destroy a mutex while it is locked
5003	DCL51-CPP. Do not declare or define a reserved identifier
5014	ERR50-CPP. Do not abruptly terminate the program
5015	ERR52-CPP. Do not use setjmp() or longjmp()
5017	OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions
5018	CON51-CPP. Ensure actively held locks are released on exceptional conditions
5019	CON54-CPP. Wrap functions that can spuriously wake up in a loop
5020	CON55-CPP. Preserve thread safety and liveness when using condition variables
5028	MSC50-CPP. Do not use std::rand() for generating pseudorandom numbers
5038	OOP57-CPP. Prefer special member functions and overloaded operators to C Standard Library functions	Checker

Space shortcuts

Page tree

Versions Compared

Old Version 2

New Version Current

Key