Class DefImpl

Import path

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

getIndirection
getIndirectionIndex	Gets the index (i.e., the number of loads required) of this definition or use.
getValue
isCertain
toString	Gets a textual representation of this element.

getBase	Gets the instruction that computes the base of this definition or use. This is always a `VariableAddressInstruction` or an `CallInstruction`.	from DefOrUseImpl
getBaseSourceVariable	Gets the base source variable (i.e., the variable without any indirection) of this definition or use.	from DefOrUseImpl
getBlock	Gets the block of this definition or use.	from DefOrUseImpl
getLocation	Gets the location of this element.	from DefOrUseImpl
getSourceVariable	Gets the variable that is defined or used.	from DefOrUseImpl
hasIndexInBlock	Holds if this definition or use has index `index` in block `block`.	from DefOrUseImpl
hasIndexInBlock	Holds if this definition (or use) has index `index` in block `block`, and is a definition (or use) of the variable `sv`	from DefOrUseImpl