6.2.5.10. Architecture-AddDynamicVariableAccesses

Analyze data flow to annotate variables referenced by accesses through pointer dereference

Required inputs: IR, RFG, StaticSemanticAnalysis

This rule will create additional edges in the RFG:

Edges of the types Dynamic_Variable_Use, Dynamic_Variable_Set and Dynamic_Variable_Address are added in the views named via the parameters code_facts_view_name and declaration_facts_view_name. These edges will indicate situations in which an access through a pointer or C++ reference dereference occurs in a (source) Routine to access a global data object (target) Global_Variable. Accesses to local variables or parameters will not be visible.

This rule will only be activated if rule StaticSemanticAnalysis is enabled.

Possible Messages

This rule has no predefined messages.

Options

• This rule shares the following common options: exclude_messages_in_system_headers, excludes, includes, justification_checker, post_processing, provider, severity

• The following places define options that affect this rule: Analysis-GlobalOptions

code_facts_view_name

code_facts_view_name : str = 'Code Facts'

Code Facts view (based on logical IR)

 

declaration_facts_view_name

declaration_facts_view_name : str = 'Declaration Facts'

Declaration Facts view (based on physical IR)

 

export_warnings

export_warnings : bool = True

Export output messages to the analysis database.

 

loglevel

loglevel : LogLevel = 'WARNING'

Logging mode. WARNING only outputs errors and warnings, INFO additionally prints info messages, DEBUG additionally outputs info and debug messages.

 

Option Types

These types are used by options listed above:

LogLevel

An enumeration.

 

• WARNING

• INFO

• DEBUG