Datatype TIRDataFlowNode
The IR dataflow graph consists of the following nodes:
Node0
, which injects most instructions and operands directly into the dataflow graph.VariableNode
, which is used to model flow through global variables.PostFieldUpdateNode
, which is used to model the state of a field after a value has been stored into an address after a number of loads.SsaPhiNode
, which represents phi nodes as computed by the shared SSA library.IndirectArgumentOutNode
, which represents the value of an argument (and its indirections) after it leaves a function call.RawIndirectOperand
, which represents the value ofoperand
after loading the address a number of times.RawIndirectInstruction
, which represents the value ofinstr
after loading the address a number of times.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil