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

Class Def

Import path

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

Direct supertypes

Indirect supertypes

Known direct subtypes

Fields

Predicates

asDef

Gets the underlying non-phi definition or use.

getAddress

Gets the address written to by this definition.

getAddressOperand

Gets the address operand written to by this definition.

getAnUltimateDefinition

Gets a definition that ultimately defines this SSA definition and is not itself a phi node.

getIndirection

Gets the indirection level that this definition is writing to. For instance, x = y is a definition of x at indirection level 1 and *x = y is a definition of x at indirection level 2.

getIndirectionIndex

Gets the indirection index of this definition.

getSourceVariable

Gets the source variable underlying this SSA definition.

getValue

Gets the value written by this definition, if any.

hasIndexInBlock

Holds if this definition (or use) has index index in block block, and is a definition (or use) of the variable sv.

isCertain

Holds if this definition is guaranteed to overwrite the entire destination’s allocation.

toString

Gets a textual representation of this element.

Inherited predicates

asPhi

Gets the underlying phi node.

from SsaDef
getLocation

Gets the location of this element.

from SsaDef

Charpred