Module IRVariable
Provides classes that represent variables accessed by the IR.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.IRVariable
Imports
IRFunction |
Provides the class |
TempVariableTag |
Defines the public interface to temporary variable tags, which describe the reason a particular |
Classes
IRAutomaticUserVariable |
A user-declared variable that is allocated on the stack. This includes all parameters and non-static local variables. |
IRAutomaticVariable |
A variable (user-declared or temporary) that is allocated on the stack. This includes all parameters, non-static local variables, and temporary variables. |
IRDynamicInitializationFlag |
A variable generated to track whether a specific non-stack variable has been initialized. This is used to model the runtime initialization of static local variables in C++, as well as static fields in C#. |
IREllipsisVariable |
A temporary variable generated to hold the contents of all arguments passed to the |
IRGeneratedVariable |
A variable that is not user-declared. This includes temporary variables generated as part of IR construction, as well as string literals. |
IRParameter |
An IR variable which acts like a function parameter, including positional parameters and the temporary variables generated for |
IRPositionalParameter |
An IR variable representing a positional parameter. |
IRReturnVariable |
A temporary variable generated to hold the return value of a function. |
IRStaticUserVariable |
A user-declared variable that is not allocated on the stack. This includes all global variables, namespace-scope variables, static fields, and static local variables. |
IRStringLiteral |
A variable generated to represent the contents of a string literal. This variable acts much like a read-only global variable. |
IRTempVariable |
A temporary variable introduced by IR construction. The most common examples are the variable generated to hold the return value of a function, or the variable generated to hold the result of a condition operator ( |
IRThisVariable |
A temporary variable generated to hold the |
IRThrowVariable |
A temporary variable generated to hold the exception thrown by a |
IRUserVariable |
A user-declared variable referenced by the IR for a function. |
IRVariable |
A variable referenced by the IR for a function. |