Class SsaVariable
An SSA variable.
Import path
import semmle.code.java.dataflow.SSA
Direct supertypes
Known direct subtypes
Predicates
getAFirstUse | Gets an access of the SSA source variable underlying this SSA variable that can be reached from this SSA variable without passing through any other uses, but potentially through phi nodes and uncertain implicit updates. |
getAPhiInputOrPriorDef | Gets an SSA variable whose value can flow to this one in one step. This includes inputs to phi nodes, the prior definition of uncertain updates, and the captured ssa variable for a closure variable. |
getAUse | Gets an access of this SSA variable. |
getAnUltimateDefinition | Gets a definition that ultimately defines this variable and is not itself a phi node. |
getBasicBlock | Gets the |
getCfgNode | Gets the |
getLocation | Gets the source location for this element. |
getSourceVariable | Gets the SSA source variable underlying this SSA variable. |
isLiveAtEndOfBlock | Holds if this SSA variable is live at the end of |
toString | Gets a textual representation of this SSA variable. |