ExternalsΒΆ
Summaries for external functions and variables being set from the environment
Nested Rules
User-provided list of smart pointer and iterator types for which information is tracked by specialized analyses |
|
No short description |
|
No short description |
|
No short description |
|
No short description |
|
User-provided summary of possible struct or class field values |
|
User-provided summary of relevant effects of a function |
|
User-provided summary of relevant effects of a function |
|
User-provided summary of relevant effects of a function |
|
User-provided summary of relevant effects of a function |
|
User-provided summary of relevant effects of a function |
|
No short description |
|
User-provided summary of possible variable values |
Options
Setting an option for this rule means setting the default for all nested rules.
The following places define options that affect this rule: Analysis-GlobalOptions
This rule has no individual options.