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

Module Cached

Import path

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

Predicates

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.