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

Module Cached

Import path

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

Predicates

getIRRepresentationOfOperand

Holds if the underlying IR has a suitable instruction to represent a value that would otherwise need to be represented by a dedicated OperandNode value.

hasIRRepresentationOfIndirectInstruction

Holds if the underlying IR has a suitable instruction to represent a value that would otherwise need to be represented by a dedicated RawIndirectInstruction value.

hasIRRepresentationOfIndirectOperand

Holds if the underlying IR has a suitable operand to represent a value that would otherwise need to be represented by a dedicated RawIndirectOperand value.

isDef

Holds if address is an address of an SSA variable rooted at base, and instr is a definition of the SSA variable with ind number of indirections.

isUse

Holds if op is a use of an SSA variable rooted at base with ind number of indirections.