Class SsaImplicitUpdate

DEPRECATED: Use SsaImplicitWrite instead.

An SSA variable that represents any sort of implicit update. This can be a Call that might reach a non-local update of the field, an explicit or implicit update of the qualifier of the field, or the implicit update that occurs just prior to a FieldRead of an untracked field.

Import path

import semmle.code.java.dataflow.SSA

Direct supertypes

SsaUpdate

Indirect supertypes

Known direct subtypes

SsaUncertainImplicitUpdate

Predicates

assignsUnknownValue	DEPRECATED: Use `SsaImplicitQualifierDefinition` instead.
getANonLocalUpdate	DEPRECATED: Use `SsaImplicitCallDefinition.getANonLocalUpdate()` instead.
toString	Gets a textual representation of this SSA variable.

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

Charpred

SsaImplicitUpdate