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

Class SsaExplicitUpdate

An SSA variable that is defined by a VariableUpdate.

Import path

import semmle.code.java.dataflow.SSA

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    getDefiningExpr

    Gets the VariableUpdate defining the SSA variable.

    toString

    Gets a textual representation of this SSA variable.

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

    from SsaVariable
    getCfgNode

    Gets the ControlFlowNode at which this SSA variable is defined.

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

    from SsaVariable

    Charpred