qtil

advanced-security/qtil-java 0.0.3

Class BaseSsaUpdate

An SSA variable that is defined by a VariableUpdate.

Import path

import semmle.code.java.dataflow.internal.BaseSSA

Direct supertypes

Indirect supertypes

TBaseSsaVariable

Predicates

getDefiningExpr	Gets the `VariableUpdate` defining the SSA variable.
toString	Gets a textual representation of this element.

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.	from BaseSsaVariable
getAUse	Gets an access of this SSA variable.	from BaseSsaVariable
getAnUltimateDefinition	Gets a definition that ultimately defines this variable and is not itself a phi node.	from BaseSsaVariable
getAnUltimateLocalDefinition	Gets a definition in the same callable that ultimately defines this variable and is not itself a phi node.	from BaseSsaVariable
getBasicBlock	Gets the `BasicBlock` in which this SSA variable is defined.	from BaseSsaVariable
getCfgNode	Gets the `ControlFlowNode` at which this SSA variable is defined.	from BaseSsaVariable
getLocation	Gets the source location for this element.	from BaseSsaVariable
getSourceVariable	Gets the SSA source variable underlying this SSA variable.	from BaseSsaVariable
isLiveAtEndOfBlock	Holds if this SSA variable is live at the end of `b`.	from BaseSsaVariable

Charpred