CodeQL library for Java/Kotlin

codeql/java-all 7.8.5-dev (changelog, source)

Class SsaUpdate

DEPRECATED: use SsaWriteDefinition instead.

An SSA variable that either explicitly or implicitly updates the variable.

Import path

import semmle.code.java.dataflow.SSA

Direct supertypes

SsaVariable

Indirect supertypes

Known direct subtypes

Inherited predicates

definesAt	Holds if this SSA definition defines `v` at index `i` in basic block `bb`. Phi nodes are considered to be at index `-1`, while normal variable writes are at the index of the control flow node they wrap.	from Definition
getAFirstUse	DEPRECATED: Use `ssaGetAFirstUse(SsaDefinition)` instead.	from SsaVariable
getAPhiInputOrPriorDef	DEPRECATED.	from SsaVariable
getAUse	DEPRECATED: Use `getARead()` instead.	from SsaVariable
getAnUltimateDefinition	DEPRECATED: Use `SsaCapturedDefinition::getAnUltimateCapturedDefinition()` and/or `SsaDefinition::getAnUltimateDefinition()` instead.	from SsaVariable
getBasicBlock	Gets the `BasicBlock` in which this SSA variable is defined.	from SsaVariable
getCfgNode	DEPRECATED: Use `getControlFlowNode()` instead.	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
toString	Gets a textual representation of this SSA variable.	from SsaVariable

Charpred