Class Node
A node in a data flow graph.
A node can be either an expression, a parameter, or an uninitialized local
variable. Such nodes are created with DataFlow::exprNode
,
DataFlow::parameterNode
, and DataFlow::uninitializedNode
respectively.
Import path
import semmle.code.cpp.dataflow.internal.DataFlowUtil
Direct supertypes
Known direct subtypes
Predicates
asDefiningArgument | Gets the argument that defines this |
asExpr | Gets the 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 |
asParameter | Gets the parameter corresponding to this node, if any. |
asPartialDefinition | Gets the expression that is partially defined by this node, if any. |
asUninitialized | Gets the uninitialized local variable corresponding to this node, if any. |
getEnclosingCallable | INTERNAL: Do not use. Alternative name for |
getFunction | Gets the function to which this node belongs. |
getLocation | Gets the location of this element. |
getType | Gets the type of this node. |
getTypeBound | Gets an upper bound on the type of this node. |
hasLocationInfo | Holds if this element is at the specified location. The location spans column |
toString | Gets a textual representation of this element. |