Class ReadNode
INTERNAL: do not use.
A ReadNode is a node that has been (or is about to be) the
source or target of a readStep.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilIndirect supertypes
Fields
Predicates
| getALoadInstruction | Gets a load instruction that uses the address computed by this read node. |
| getEnclosingCallable | INTERNAL: Do not use. |
| getFunction | Gets the function to which this node belongs, if any. |
| getInner | Gets a read node with an underlying instruction that is used by this underlying instruction to compute an address of a load instruction. |
| getInstruction | Gets the underlying instruction. |
| getLocation | Gets the location of this element. |
| getOuter | The inverse of |
| getType | Gets the type of this node. |
| isInitial | Holds if this read node computes a value that has not yet been used for any read operations. |
| isTerminal | Holds if this read node computes a value that will not be used for any future read nodes. |
| toString | Gets a textual representation of this element. |
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 |
| 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 |
| 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 |
| asPartialDefinition | Gets the expression that is partially defined by 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 |
| getTypeBound | Gets an upper bound on the type of this node. | from Node |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |