Class Sem::SsaExplicitUpdate
An SSA variable representing the value of an explicit update of the source variable.
Import path
import semmle.code.java.dataflow.RangeAnalysis
Direct supertypes
Indirect supertypes
Predicates
getDefiningExpr | Gets the expression that defines the value of the variable in this update. |
Inherited 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. | from SsaVariable |
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. | from SsaVariable |
getAUse | Gets an access of this SSA variable. | from SsaVariable |
getAnUltimateDefinition | Gets a definition that ultimately defines this variable and is not itself a phi node. | from SsaVariable |
getBasicBlock | Gets the | from SsaVariable |
getCfgNode | Gets the | from SsaVariable |
getLocation | Gets the source location for this element. | from SsaVariable |
getSourceVariable | Gets the SSA source variable underlying this SSA variable. | from SsaVariable |
isLiveAtEndOfBlock | Holds if this SSA variable is live at the end of | from SsaVariable |
toString | Gets a textual representation of this SSA variable. | from SsaVariable |