CertC++-CTRΒΆ
Containers
Nested Rules
Guarantee that container indices and iterators are within the valid range |
|
Use valid references, pointers, and iterators to reference elements of a container |
|
Guarantee that library functions do not overflow |
|
Use valid iterator ranges |
|
Do not subtract iterators that do not refer to the same container |
|
Do not use an additive operator on an iterator if the result would overflow |
|
Do not use pointer arithmetic on polymorphic objects |
|
Provide a valid ordering predicate |
|
Predicate function objects should not be mutable |
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.