A variable whose analysis is backed by the SSA library.
Import path
import semmle.code.cpp.dataflow.internal.FlowVar
Predicates
definedByExpr | Holds if this FlowVar corresponds to a modification occurring when node is evaluated, receiving a value best described by e . The following is an exhaustive list of cases where this may happen.
|
definedByInitialValue | Holds if this FlowVar corresponds to the initial value of v . The following is an exhaustive list of cases where this may happen.
|
definedPartiallyAt | Holds if this FlowVar is a PartialDefinition whose outer defined expression is e . For example, in f(&x) , the outer defined expression is &x .
|
getAnAccess | Gets a VariableAccess that may take its value from this . Consider the following snippet.
|
getLocation | Gets the location of this element.
|
reachesRefParameter | Holds if this FlowVar is a definition of a reference parameter p that persists until the function returns.
|
toString | Gets a textual representation of this element.
|