Predicate SsaImpl :: getDestVar
Gets the destination variable of an update of a tracked variable.
Import path
import semmle.code.java.dataflow.SSA
TrackedVar
getDestVar
(
VariableUpdate
upd
)