CertC++-INTΒΆ
Integers
Nested Rules
Ensure that unsigned integer operations do not wrap |
|
Ensure that integer conversions do not result in lost or misinterpreted data |
|
Ensure that operations on signed integers do not result in overflow |
|
Ensure that division and remainder operations do not result in divide-by-zero errors |
|
Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand |
|
Use correct integer precisions |
|
Converting a pointer to integer or integer to pointer |
|
Do not cast to an out-of-range enumeration value |
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.