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

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

SsaCached

The final SSA predicates used for dataflow purposes.

Aliases

Definition

A static single assignment (SSA) definition.