Class ParameterNode
The value of a parameter at function entry, viewed as a node in a data
flow graph. This includes both explicit parameters such as x
in f(x)
and implicit parameters such as this
in x.f()
.
To match a specific kind of parameter, consider using one of the subclasses
ExplicitParameterNode
, ThisParameterNode
, or
ParameterIndirectionNode
.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
isParameterOf |
Holds if this node is the parameter of |
Inherited predicates
asConvertedExpr |
Gets the expression corresponding to this node, if any. The returned expression may be a |
from Node |
asDefiningArgument |
Gets the argument that defines this |
from Node |
asDefiningArgument |
Gets the argument that defines this |
from Node |
asExpr |
Gets the non-conversion expression corresponding to this node, if any. This predicate only has a result on nodes that represent the value of evaluating the expression. For data flowing out of an expression, like when an argument is passed by reference, use |
from Node |
asIndirectArgument |
Gets the the argument going into a function for a node that represents the indirect value of the argument after any non-zero number of loads. |
from Node |
asIndirectArgument |
Gets the the argument going into a function for a node that represents the indirect value of the argument after |
from Node |
asIndirectConvertedExpr |
Gets the expression that’s indirectly tracked by this node behind a number of indirections. |
from Node |
asIndirectConvertedExpr |
Gets the expression that’s indirectly tracked by this node behind |
from Node |
asIndirectExpr |
Gets the non-conversion expression that’s indirectly tracked by this node behind a number of indirections. |
from Node |
asIndirectExpr |
Gets the non-conversion expression that’s indirectly tracked by this node under |
from Node |
asIndirectVariable |
Gets an indirection of this node’s underlying variable, if any. |
from Node |
asIndirectVariable |
Gets the |
from Node |
asInstruction |
Gets the instruction corresponding to this node, if any. |
from Node |
asOperand |
Gets the operands corresponding to this node, if any. |
from Node |
asParameter |
Gets the positional parameter corresponding to this node, if any. |
from Node |
asParameter |
Gets the positional parameter corresponding to the node that represents the value of the parameter after |
from Node |
asPartialDefinition |
Gets the expression that is partially defined by this node, if any. |
from Node |
asUninitialized |
Gets the uninitialized local variable corresponding to this node, if any. |
from Node |
asVariable |
Gets the variable corresponding to this node, if any. This can be used for modeling flow in and out of global variables. |
from Node |
getBasicBlock |
Gets the basic block of this node, if any. |
from Node |
getEnclosingCallable |
INTERNAL: Do not use. |
from Node |
getFunction |
Gets the function to which this node belongs, if any. |
from Node |
getLocation |
Gets the location of this element. |
from Node |
getLocationImpl |
INTERNAL: Do not use. |
from Node |
getType |
Gets the type of this node. |
from Node |
getTypeBound |
Gets an upper bound on the type of this node. |
from Node |
hasIndexInBlock |
Holds if this node is at index |
from Node |
hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
from Node |
isGLValue |
Holds if this node represents a glvalue. |
from Node |
toString |
Gets a textual representation of this element. |
from Node |
toStringImpl |
INTERNAL: Do not use. |
from Node |