Class Def

Import path

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

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.

asPhi	Gets the underlying phi node.	from SsaDef
getLocation	Gets the location of this element.	from SsaDef