CodeQL library for C/C++
codeql/cpp-all 0.13.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.
  • PostUpdateNodeImpl, which is used to model the state of an object after an update after a number of loads.
  • SsaPhiNode, which represents phi 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.

Import path

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

Known direct subtypes