CodeQL library for C/C++

codeql/cpp-all 1.3.1-dev (changelog, source)

Module SsaInternals

Import path

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

Imports

SourceVariables
SsaCached	The final SSA predicates used for dataflow purposes.
SsaInternalsCommon

Predicates

adjacentDefRead	Holds if there is a definition or access at index `i1` in basic block `bb1` and the next subsequent read is at index `i2` in basic block `bb2`.
defToNode	INTERNAL: Do not use.
fromPhiNode	Holds if `nodeTo` receives flow from the phi node `nodeFrom`.
hasIndirectOperand	Holds if `indirectionIndex` is a valid non-zero indirection index for operand `op`. That is, `indirectionIndex` is between 1 and the maximum indirection for the operand’s type.
hasRawIndirectInstruction	Holds if the `(instr, indirectionIndex)` columns should be assigned a `RawIndirectInstruction` value.
hasRawIndirectOperand	Holds if the `(operand, indirectionIndex)` columns should be assigned a `RawIndirectOperand` value.
nodeToDefOrUse	INTERNAL: Do not use.
outNodeHasAddressAndIndex
postUpdateFlow	Holds if there is def-use or use-use flow from `pun` to `nodeTo`.
ssaFlow	Holds if there is def-use or use-use flow from `nodeFrom` to `nodeTo`.
useToNode

Classes

Def
DefImpl
DefinitionExt	An static single assignment (SSA) definition.
FinalParameterUse
GlobalDef
GlobalDefImpl	A definition that models a synthetic “initial definition” of a global variable just after the function entry point.
GlobalUse	A use that models a synthetic “last use” of a global variable just before a function returns.
Phi
PhiNode	An static single assignment (SSA) phi node.
UseImpl

Modules

The final SSA predicates used for dataflow purposes.

Aliases

A static single assignment (SSA) definition.