Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
Datatypes
| TIRDataFlowNode | The IR dataflow graph consists of the following nodes: - InstructionNode, which represents an Instruction in the graph. - OperandNode, which represents an Operand in the graph. - VariableNode, which is used to model global variables. - Two kinds of StoreNodes: 1. StoreNodeInstr, which represents the value of an address computed by an Instruction that has been updated by a write operation. 2. StoreNodeOperand, which represents the value of an address in an ArgumentOperand after a function call that may have changed the value. - ReadNode, which represents the result of reading a field of an object. - SsaPhiNode, which represents phi nodes as computed by the shared SSA library.
|