Class SsaUncertainImplicitUpdate

DEPRECATED: Use SsaUncertainWrite instead.

An SSA variable that represents an uncertain implicit update of the value. This is a Call that might reach a non-local update of the field or one of its qualifiers.

Import path

import semmle.code.java.dataflow.SSA

Direct supertypes

SsaImplicitUpdate

Indirect supertypes

Predicates

getPriorDef

DEPRECATED: Use getPriorDefinition() instead.

Inherited predicates

assignsUnknownValue	DEPRECATED: Use `SsaImplicitQualifierDefinition` instead.	from SsaImplicitUpdate
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
getANonLocalUpdate	DEPRECATED: Use `SsaImplicitCallDefinition.getANonLocalUpdate()` instead.	from SsaImplicitUpdate
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 SsaImplicitUpdate

Charpred

SsaUncertainImplicitUpdate