Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowNodes
Datatypes
| TContent | |
| 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. - PostUpdateNodeImpl, which is used to model the state of an object after an update after a number of loads. - SsaSynthNode, which represents synthesized nodes as computed by the shared SSA library. - RawIndirectOperand, which represents the value of operand after loading the address a number of times. - RawIndirectInstruction, which represents the value of instr after loading the address a number of times.
|