CertC++-EXP¶
Expressions
Nested Rules
Do not dereference null pointers |
|
Do not modify objects with temporary lifetime |
|
Do not cast pointers into more strictly aligned pointer types |
|
Call functions with the correct number and type of arguments |
|
Do not access a variable through a pointer of an incompatible type |
|
Do not compare padding data |
|
Do not perform assignments in selection statements |
|
Do not use a bitwise operator with a Boolean-like operand |
|
Do not call va_arg with an argument of the incorrect type |
|
Do not depend on the order of evaluation for side effects |
|
Do not delete an array through a pointer of the incorrect type |
|
Do not rely on side effects in unevaluated operands |
|
Do not read uninitialized memory |
|
Do not access an object outside of its lifetime |
|
Do not access a cv-qualified object through a cv-unqualified type |
|
Do not cast or delete pointers to incomplete classes |
|
Pass an object of the correct type to va_start |
|
Use offsetof() on valid types and members |
|
A lambda object must not outlive any of its reference captured objects |
|
Do not access the bits of an object representation that are not part of the object’s value representation |
|
Do not rely on the value of a moved-from object |
Options
Setting an option for this rule means setting the default for all nested rules.
This rule shares the following common options: exclude_in_macros, exclude_messages_in_system_headers, excludes, extend_exclude_to_macro_invocations, includes, justification_checker, languages, post_processing, provider, report_at, severity
The following places define options that affect this rule: Stylechecks, Analysis-GlobalOptions
This rule has no individual options.