CodeQL library for C/C++
codeql/cpp-all 0.12.0 (changelog, source)
Search

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 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.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil

Known direct subtypes