CodeQL library for Java/Kotlin
codeql/java-all 4.1.2-dev (changelog, source)
Search

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 BasicBlock in which this SSA variable is defined.

getCfgNode

Gets the ControlFlowNode at which this SSA variable is defined.

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 b.

toString

Gets a textual representation of this SSA variable.